Fix #16030 by refactoring IfaceSyn's treatment of GADT constructors
[ghc.git] / testsuite / tests / ghci / scripts / T16030.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE PolyKinds #-}
3 {-# LANGUAGE TypeFamilies #-}
4 module T16030 where
5
6 import Data.Proxy
7
8 data Foo1 (a :: k) where
9 MkFoo1a :: Proxy a -> Int -> Foo1 a
10 MkFoo1b :: { a :: Proxy a, b :: Int } -> Foo1 a
11
12 data family Foo2 (a :: k)
13 data instance Foo2 (a :: k) where
14 MkFoo2a :: Proxy a -> Int -> Foo2 a
15 MkFoo2b :: { c :: Proxy a, d :: Int } -> Foo2 a