doctest-parallel-0.2: test/extract/regression/RewriteRules.hs
module RewriteRules (foo) where
{-# RULES "map/append" forall f xs ys. map f (xs ++ ys) = map f xs ++ map f ys #-}
-- | doc for foo
foo :: Int
foo = 23
module RewriteRules (foo) where
{-# RULES "map/append" forall f xs ys. map f (xs ++ ys) = map f xs ++ map f ys #-}
-- | doc for foo
foo :: Int
foo = 23