Improve error recovery in the typechecker
[ghc.git] / testsuite / tests / patsyn / should_fail / T9161-1.hs
1 {-# LANGUAGE PatternSynonyms #-}
2 {-# LANGUAGE DataKinds #-}
3
4 module Bug where
5
6 pattern PATTERN = ()
7
8 wrongLift :: PATTERN
9 wrongLift = undefined