Hello, and thanks for your work,
The package seems to be not working, and my skills in Haskell arent good enought to suggest a fix; But it seems to be related to lift
simara@specternixos ~/D/d/logict-state-master [1]> cabal --enable-nix build
Build profile: -w ghc-8.10.7 -O1
In order, the following will be built (use -v for more details):
logict-state-0.1.0.5 (lib) (first run)
Preprocessing library for logict-state-0.1.0.5..
Building library for logict-state-0.1.0.5..
[3 of 4] Compiling Control.Monad.LogicState.Logic ( src/Control/Monad/LogicState/Logic.hs, /home/simara/Documents/dev/logict-state-master/dist-newstyle/build/x86_64-linux/ghc-8.10.7/logict-state-0.1.0.5/build/Control/Monad/LogicState/Logic.o, /home/simara/Documents/dev/logict-state-master/dist-newstyle/build/x86_64-linux/ghc-8.10.7/logict-state-0.1.0.5/build/Control/Monad/LogicState/Logic.dyn_o )
src/Control/Monad/LogicState/Logic.hs:20:21: error:
Variable not in scope: lift :: m a -> LogicT m a
|
20 | liftWithState m = lift $ m () >>= (return . fst)
Hello, and thanks for your work, The package seems to be not working, and my skills in Haskell arent good enought to suggest a fix; But it seems to be related to lift
simara@specternixos ~/D/d/logict-state-master [1]> cabal --enable-nix build Build profile: -w ghc-8.10.7 -O1 In order, the following will be built (use -v for more details):
src/Control/Monad/LogicState/Logic.hs:20:21: error: Variable not in scope: lift :: m a -> LogicT m a | 20 | liftWithState m = lift $ m () >>= (return . fst)