aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/GADTs/gadts-record.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE GADTs #-}
module GADTsRecord where
data Box a where
MkIntBox :: {unIntBox :: Int} -> Box Int
MkBoolBox :: {unBoolBox :: Bool} -> Box Bool{- ORACLE_TEST pass -}
{-# LANGUAGE GADTs #-}
module GADTsRecord where
data Box a where
MkIntBox :: {unIntBox :: Int} -> Box Int
MkBoolBox :: {unBoolBox :: Bool} -> Box Bool