search

achirkin / constraints-deriving

Programmatically create new instances using core-to-core plugins
BSD 3-Clause "New" or "Revised" License
12 stars 1 forks source link

1.0.4.0 fails to build with GHC 8.8 and up #4

Open andreasabel opened 11 months ago

andreasabel commented 11 months ago 
constraints-deriving-1.0.4.0$ cabal build -w ghc-8.8.4
...
src/Data/Constraint/Deriving/CorePluginM.hs:283:5: error:
    • Illegal equational constraint SrcSpanLess a ~ ModuleName
      (Use GADTs or TypeFamilies to permit this)
    • When checking the inferred type
        lookupDep :: forall (f :: * -> *) a.
                     (MonadIO f, HasSrcSpan a, SrcSpanLess a ~ ModuleName) =>
                     HscEnv -> (Maybe FastString, a) -> f (Maybe Module)
      In an equation for ‘defCorePluginEnv’:
...
andreasabel commented 11 months ago

Fixed by revision 1: https://hackage.haskell.org/package/constraints-deriving-1.0.4.0/revisions/

Also for the other 1.0.x versions.