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
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions