-
-
Notifications
You must be signed in to change notification settings - Fork 8
Open
Description
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
collinarnett
Metadata
Metadata
Assignees
Labels
No labels