testsuite/tests/simplCore/should_compile/T7162.hs


1
2
3
4
5
6
7
8
9

import Data.Char

{-# RULES "map-loop" [~] forall f . map' f = map' (id . f) #-}

{-# NOINLINE map' #-}
map' f [] = []
map' f (x:xs) = f x : map' f xs

main = print (map' toUpper "Hello, World")