aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/pragma/RulesPragma.hs
{- ORACLE_TEST pass -}
module RulesPragma where
{-# RULES
"map/id" forall xs. map id xs = xs
#-}
useMapId :: [Int] -> [Int]
useMapId xs = map id xs
{- ORACLE_TEST pass -}
module RulesPragma where
{-# RULES
"map/id" forall xs. map id xs = xs
#-}
useMapId :: [Int] -> [Int]
useMapId xs = map id xs