Fix scoping of pattern-synonym existentials
[ghc.git] / testsuite / tests / patsyn / should_fail / T9161-1.stderr
1
2 T9161-1.hs:6:14: error:
3     • Pattern synonym ‘PATTERN’ cannot be used here
4         (pattern synonyms cannot be promoted)
5     • In the type signature: wrongLift :: PATTERN