aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DataKinds/promoted-ctor.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
module PromotedCtor where
data Nat = Zero | Succ Nat
type T = 'Zero{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
module PromotedCtor where
data Nat = Zero | Succ Nat
type T = 'Zero