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
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
The text was updated successfully, but these errors were encountered:
Tried building
souffle-haskell
with ghc9.2.1, which depends on this package.Got this error:
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:The text was updated successfully, but these errors were encountered: