testsuite/tests/polykinds/T12593.stderr · 49f69f50afbfd352f0e9645b4dbe87200e63b37e · Reinier Maas / GHC · GitLab

Snippets Groups Projects

Forked from Glasgow Haskell Compiler / GHC

5864 commits behind the upstream repository.

2 years ago

Diagnostic codes: acccept test changes · 362cca13

sheaf authored 2 years ago and

Marge Bot committed 2 years ago

The testsuite output now contains diagnostic codes, so many tests need
to be updated at once.
We decided it was best to keep the diagnostic codes in the testsuite
output, so that contributors don't inadvertently make changes to the
diagnostic codes.

362cca13

Diagnostic codes: acccept test changes

sheaf authored 2 years ago and

Marge Bot committed 2 years ago

The testsuite output now contains diagnostic codes, so many tests need
to be updated at once.
We decided it was best to keep the diagnostic codes in the testsuite
output, so that contributors don't inadvertently make changes to the
diagnostic codes.

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

T12593.stderr 377 B

T12593.hs:12:31: error: [GHC-83865]
    • Expecting one more argument to ‘k’
      Expected a type, but
      ‘k’ has kind
      ‘((k0 -> Constraint) -> k1 -> *) -> Constraint’
    • In the kind ‘k’
      In the type signature:
        run :: k2 q =>
               Free k k1 k2 p a b
               -> (forall (c :: k) (d :: k1). p c d -> q c d) -> q a b