Add fake entries into the global kind environment for pattern synonyms.
[ghc.git] / testsuite / tests / patsyn / should_fail / T9161-1.hs
1 {-# LANGUAGE PatternSynonyms #-}
2 {-# LANGUAGE DataKinds #-}
3
4 pattern PATTERN = ()
5
6 wrongLift :: PATTERN
7 wrongLift = undefined