path: root/ghc/compiler/tests/typecheck/should_succeed/tc073.hs

module ShouldSucc where

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