Fix scoping of pattern-synonym existentials
[ghc.git] / testsuite / tests / patsyn / should_fail / T14498.stderr
1
2 T14498.hs:32:48: error:
3     • Pattern synonym existential ‘kk’ cannot be used here
4         (the existential variables of a pattern synonym
5          signature do not scope over the pattern)
6     • In the kind ‘kk -> k'’
7       In the first argument of ‘TypeRep’, namely ‘(a :: kk -> k')’
8       In the type ‘TypeRep (a :: kk -> k')’