summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T15918.stderr
blob: 4ee54563c57c5bfc8e2741c8a335d5abbfe0d8b7 (plain)
1
2
3
4
5
6
7

T15918.hs:19:19: error:
    • Couldn't match kind ‘*’ with ‘k0 -> *’
      Expected kind ‘(k0 -> *) -> Constraint’, but ‘[]’ has kind ‘* -> *’
    • In the first argument of ‘Build’, namely ‘[]’
      In an expression type signature: Build [] a
      In the expression: rev :: Build [] a