Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / patsyn / should_fail / T14507.stderr
1
2 T14507.hs:20:9: error:
3     • Iceland Jack!  Iceland Jack! Stop torturing me!
4       Pattern-bound variable x :: TypeRep a
5         has a type that mentions pattern-bound coercion: co
6       Hint: use -fprint-explicit-coercions to see the coercions
7       Probable fix: add a pattern signature
8     • In the declaration for pattern synonym ‘SO’