schernichkin / partial-isomorphisms Goto Github PK

       Preprocessing library for partial-isomorphisms-0.2.3.0..
       Building library for partial-isomorphisms-0.2.3.0..
       [2 of 7] Compiling Control.Isomorphism.Partial.TH

       /home/curators/work/unpack-dir/unpacked/partial-isomorphisms-0.2.3.0-97fcf1b1d5b32a38bd62ab43694fb8213ead11d5ef32f51661c1306655ea911a/src/Control/Isomorphism/Partial/TH.hs:41:73: error: [GHC-83865]
           • Couldn't match type ‘BndrVis’ with ‘()’
             Expected: [TyVarBndr ()]
               Actual: [TyVarBndr BndrVis]
           • In the second argument of ‘DecInfo’, namely ‘tyVars’
             In the second argument of ‘($)’, namely
               ‘DecInfo (ConT name) tyVars cs’
             In the expression: return $ DecInfo (ConT name) tyVars cs
          |
       41 | decInfo (DataD    _ name tyVars _ cs _) =  return $ DecInfo (ConT name) tyVars cs
          |                                                                         ^^^^^^

       /home/curators/work/unpack-dir/unpacked/partial-isomorphisms-0.2.3.0-97fcf1b1d5b32a38bd62ab43694fb8213ead11d5ef32f51661c1306655ea911a/src/Control/Isomorphism/Partial/TH.hs:42:72: error: [GHC-83865]
           • Couldn't match type ‘BndrVis’ with ‘()’
             Expected: [TyVarBndr ()]
               Actual: [TyVarBndr BndrVis]
           • In the second argument of ‘DecInfo’, namely ‘tyVars’
             In the second argument of ‘($)’, namely
               ‘DecInfo (ConT name) tyVars [c]’
             In the expression: return $ DecInfo (ConT name) tyVars [c]
          |
       42 | decInfo (NewtypeD _ name tyVars _ c _) =  return $ DecInfo (ConT name) tyVars [c]
          |                                                                        ^^^^^^

Building library for partial-isomorphisms-0.2.2.1..
[1 of 6] Compiling Control.Isomorphism.Partial.Unsafe ( src/Control/Isomorphism/Partial/Unsafe.hs, dist/build/Control/Isomorphism/Partial/Unsafe.o, dist/build/Control/Isomorphism/Partial/Unsafe.dyn_o )
[2 of 6] Compiling Control.Isomorphism.Partial.TH ( src/Control/Isomorphism/Partial/TH.hs, dist/build/Control/Isomorphism/Partial/TH.o, dist/build/Control/Isomorphism/Partial/TH.dyn_o )

src/Control/Isomorphism/Partial/TH.hs:37:30: error:
    • Expecting one more argument to ‘TyVarBndr’
      Expected a type, but ‘TyVarBndr’ has kind ‘* -> *’
    • In the type ‘[TyVarBndr]’
      In the definition of data constructor ‘DecInfo’
      In the data declaration for ‘DecInfo’
   |
37 | data DecInfo = DecInfo Type [TyVarBndr] [Con]
   |                              ^^^^^^^^^
cabal: Failed to build partial-isomorphisms-0.2.2.1 (which is required by
exe:licence-check from licence-check-0.1.0.0). See the build log above for
details.