c14eb542cc339bfc9524e206cde2780df7124e20
[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