path: root/testsuite/tests/typecheck/should_compile/tc073.hs

module ShouldSucceed where

f [] = []
f (x:xs) = x : (f xs)