aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DataKinds/promoted-builtin.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
module PromotedBuiltin where
type T = "Hello"{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
module PromotedBuiltin where
type T = "Hello"