aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/GADTSyntax/gadt-infix.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE GADTSyntax #-}
module GadtInfix where
infix 6 :--:
data T a where
(:--:) :: Int -> Bool -> T Int{- ORACLE_TEST pass -}
{-# LANGUAGE GADTSyntax #-}
module GadtInfix where
infix 6 :--:
data T a where
(:--:) :: Int -> Bool -> T Int