Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / T11524.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE PolyKinds #-}
3 {-# LANGUAGE ExplicitForAll #-}
4 {-# LANGUAGE PatternSynonyms #-}
5
6 module T11524 where
7
8 data AType (a :: k) where
9 AMaybe :: AType Maybe
10 AInt :: AType Int
11 AApp :: forall k1 k2 (a :: k1 -> k2) (b :: k1).
12 AType a -> AType b -> AType (a b)
13
14 pattern PApp :: () => (fun ~ a b) => AType a -> AType b -> AType fun
15 --pattern PApp :: forall k (fun :: k) k1 (a :: k1 -> k) (b :: k1).
16 -- () => (fun ~ a b) => AType a -> AType b -> AType fun
17 pattern PApp fun arg <- AApp fun arg