[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc067.hs

module ShouldSucceed where

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