gistfile1.txt

tool/Parser.hs:61:16: error:
    • Found type wildcard ‘_’
        standing for ‘Optic
                        A_Lens
                        js
                        DictFile
                        DictFile
                        (M.Map AttrIdent AttrDetails)
                        (M.Map AttrIdent AttrDetails)
                      -> ParsecT Void String (S.State ParserState) ()’
      Where: ‘js’ is a rigid type variable bound by
               the inferred type of
                 attrDefThru :: Optic
                                  A_Lens
                                  js
                                  DictFile
                                  DictFile
                                  (M.Map AttrIdent AttrDetails)
                                  (M.Map AttrIdent AttrDetails)
                                -> ParsecT Void String (S.State ParserState) ()
               at tool/Parser.hs:(62,1)-(66,44)
      To use the inferred type, enable PartialTypeSignatures
    • In the type signature: attrDefThru :: _
   |
61 | attrDefThru :: _
   |                ^

tool/Parser.hs:78:39: error:
    • An_AffineTraversal cannot be used as A_Lens
      Perhaps you meant one of these:
        ‘preview’ (from Optics.AffineFold)
        ‘over’ (from Optics.Setter)
        ‘set’ (from Optics.Setter)
        ‘(^?)’ ‘(%~)’ ‘(.~)’ (from Optics.Operators)
    • In the first argument of ‘attrDefThru’, namely
        ‘(vendorMap % at vendor % _Just % vendorDefs % defAttrs)’
      In the expression:
        attrDefThru (vendorMap % at vendor % _Just % vendorDefs % defAttrs)
      In a case alternative:
          ModeVendor vendor
            -> attrDefThru
                 (vendorMap % at vendor % _Just % vendorDefs % defAttrs)
   |
78 |     ModeVendor vendor -> attrDefThru (vendorMap % at vendor % _Just % vendorDefs % defAttrs)
   |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^