aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/Hackage/sbv-gadt-record-at-field.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
module S where

data family C

data instance C where
  (:+) :: {(@) :: Int} -> C