aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/ExplicitForAll/forall-top-level.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE ExplicitForAll #-}
module ExplicitForAllTopLevel where
identity :: forall a. a -> a
identity x = x{- ORACLE_TEST pass -}
{-# LANGUAGE ExplicitForAll #-}
module ExplicitForAllTopLevel where
identity :: forall a. a -> a
identity x = x