Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Too strict version requirements for ghc9.2.1 #24

Open
luc-tielen opened this issue Mar 14, 2022 · 0 comments
Open

Too strict version requirements for ghc9.2.1 #24

luc-tielen opened this issue Mar 14, 2022 · 0 comments

Comments

@luc-tielen
Copy link

Tried building souffle-haskell with ghc9.2.1, which depends on this package.
Got this error:

Setup: Encountered missing or private dependencies:
base >=4.10.1.0 && <4.16

Looking at https://wiki.haskell.org/Base_package, ghc9.2.1 uses base 4.16.
Tried relaxing the constraints with doJailbreak in nix, but looks like things actually changed in base:

running tests
Running 1 test suites...
Test suite doctest: RUNNING...

src/Type/Errors/Pretty.hs:114:21: error:
    • Expected kind ‘k’, but ‘t :: Symbol’ has kind ‘Symbol’
    • In the first argument of ‘ToErrorMessage’, namely ‘(t :: Symbol)’
      In the type family declaration for ‘ToErrorMessage’
src/Type/Errors/Pretty.hs:82: failure in expression `:kind! "Integer values have type: " <> Int'
expected: "Integer values have type: " <> Int :: ErrorMessage
          = 'Text "Integer values have type: " ':<>: 'ShowType Int
 but got: 
          ^
          <interactive>:1:30: error:
              Not in scope: type constructor or class ‘<>’

src/Type/Errors/Pretty.hs:98: failure in expression `:kind! "Expecting value of type: " % "   " <> Integer'
expected: "Expecting value of type: " % "   " <> Integer :: ErrorMessage
          = 'Text "Expecting value of type: "
            ':$$: ('Text "   " ':<>: 'ShowType Integer)
 but got: 
          ^
          <interactive>:1:29: error:
              Not in scope: type constructor or class ‘%’
          
          <interactive>:1:37: error:
              Not in scope: type constructor or class ‘<>’

Examples: 2  Tried: 2  Errors: 0  Failures: 2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant