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