aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/GADTSyntax/gadt-multi-con.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE GADTSyntax #-}
module GadtMultiCon where
data T a where
T1, T2 :: a -> T a
T3 :: T a{- ORACLE_TEST pass -}
{-# LANGUAGE GADTSyntax #-}
module GadtMultiCon where
data T a where
T1, T2 :: a -> T a
T3 :: T a