Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / pmcheck / should_compile / T14086.hs
1 {-# language EmptyCase #-}
2 module T14086 where
3 import Data.Kind
4
5 f :: Type -> Int
6 f x = case x of