You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It's working for me in other packages, but when I run haskell-verify-examples nri-prelude/src/Dict.hs
I get the following error:
The example doesn't compile:
nri-prelude/src/Dict.hs:44:1: error:
Could not find module ‘Basics’
Use -v (or `:set -v` in ghci) to see a list of the files searched for.nri-prelude/src/Dict.hs:46:1: error:
Could not find module ‘List’
Use -v (or `:set -v` in ghci) to see a list of the files searched for.nri-prelude/src/Dict.hs:47:1: error:
Could not find module ‘List’
Use -v (or `:set -v` in ghci) to see a list of the files searched for.nri-prelude/src/Dict.hs:48:1: error:
Could not find module ‘Maybe’
Perhaps you meant Maybes (needs flag -package-key ghc-8.10.4)
Use -v (or `:set -v` in ghci) to see a list of the files searched for.nri-prelude/src/Dict.hs:44:1: error:
Could not find module ‘Basics’
Use -v (or `:set -v` in ghci) to see a list of the files searched for.nri-prelude/src/Dict.hs:46:1: error:
Could not find module ‘List’
Use -v (or `:set -v` in ghci) to see a list of the files searched for.nri-prelude/src/Dict.hs:47:1: error:
Could not find module ‘List’
Use -v (or `:set -v` in ghci) to see a list of the files searched for.nri-prelude/src/Dict.hs:48:1: error:
Could not find module ‘Maybe’
Perhaps you meant Maybes (needs flag -package-key ghc-8.10.4)
Use -v (or `:set -v` in ghci) to see a list of the files searched for.
It does work though when I run it from a sub-project. Like: cd nri-prelude && haskell-verify-examples src/Dict.hs
The text was updated successfully, but these errors were encountered:
It's working for me in other packages, but when I run
haskell-verify-examples nri-prelude/src/Dict.hs
I get the following error:
It does work though when I run it from a sub-project. Like:
cd nri-prelude && haskell-verify-examples src/Dict.hs
The text was updated successfully, but these errors were encountered: