aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/pragma/OpaquePragma.hs
{- ORACLE_TEST pass -}
module OpaquePragma where
opaqueFun :: Int -> Int
opaqueFun x = x + 1
{-# OPAQUE opaqueFun #-}
{- ORACLE_TEST pass -}
module OpaquePragma where
opaqueFun :: Int -> Int
opaqueFun x = x + 1
{-# OPAQUE opaqueFun #-}