Update tests for Trac #11039
[ghc.git] / testsuite / tests / patsyn / should_fail / T11039.hs
1 {-# LANGUAGE PatternSynonyms #-}
2 module T11039 where
3
4 data A a = A a
5
6 -- This should fail
7 pattern Q :: () => (A ~ f) => a -> f a
8 pattern Q a = A a
9