Skip to content

Too strict version requirements for ghc9.2.1 #24

@luc-tielen

Description

@luc-tielen

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions