search

lambdageek / unbound-generics

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
https://hackage.haskell.org/package/unbound-generics/
BSD 3-Clause "New" or "Revised" License
55 stars 18 forks source link

Build failure with mtl-2.3 #44

Closed sjakobi closed 2 years ago

sjakobi commented 2 years ago 
Building library for unbound-generics-0.4.1..
[ 1 of 19] Compiling Unbound.Generics.LocallyNameless.Internal.Fold ( src/Unbound/Generics/LocallyNameless/Internal/Fold.hs, dist/build/Unbound/Generics/LocallyNameless/Internal/Fold.o, dist/build/Unbound/Generics/LocallyNameless/Internal/Fold.dyn_o )
[ 2 of 19] Compiling Unbound.Generics.LocallyNameless.Internal.Iso ( src/Unbound/Generics/LocallyNameless/Internal/Iso.hs, dist/build/Unbound/Generics/LocallyNameless/Internal/Iso.o, dist/build/Unbound/Generics/LocallyNameless/Internal/Iso.dyn_o )
[ 3 of 19] Compiling Unbound.Generics.LocallyNameless.Internal.Lens ( src/Unbound/Generics/LocallyNameless/Internal/Lens.hs, dist/build/Unbound/Generics/LocallyNameless/Internal/Lens.o, dist/build/Unbound/Generics/LocallyNameless/Internal/Lens.dyn_o )
[ 4 of 19] Compiling Unbound.Generics.LocallyNameless.Name ( src/Unbound/Generics/LocallyNameless/Name.hs, dist/build/Unbound/Generics/LocallyNameless/Name.o, dist/build/Unbound/Generics/LocallyNameless/Name.dyn_o )
[ 5 of 19] Compiling Unbound.Generics.LocallyNameless.LFresh ( src/Unbound/Generics/LocallyNameless/LFresh.hs, dist/build/Unbound/Generics/LocallyNameless/LFresh.o, dist/build/Unbound/Generics/LocallyNameless/LFresh.dyn_o )

src/Unbound/Generics/LocallyNameless/LFresh.hs:116:7: error:
    Not in scope: type constructor or class ‘MonadPlus’
    |
116 |     , MonadPlus
    |       ^^^^^^^^^

src/Unbound/Generics/LocallyNameless/LFresh.hs:117:7: error:
    Not in scope: type constructor or class ‘MonadFix’
    Perhaps you meant ‘MonadFail’ (imported from Prelude)
    |
117 |     , MonadFix
    |       ^^^^^^^^