Merge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988' as 'hadrian'
[ghc.git] / testsuite / tests / patsyn / should_fail / T9161-2.stderr
1
2 T9161-2.hs:8:20: error:
3     • Pattern synonym ‘PATTERN’ cannot be used here
4         (Pattern synonyms cannot be promoted)
5     • In the first argument of ‘Proxy’, namely ‘PATTERN’
6       In the type signature:
7         wrongLift :: Proxy PATTERN ()