liquidhaskell-0.8.10.7: tests/terminate/neg/testRec.hs

module TestRec where

import Prelude hiding (map, foldl)

{-@ map :: (a -> b) -> [a] -> [b] @-}
map :: (a -> b) -> [a] -> [b] 
map f []     = []
map f (x:xs) = f x : map f (x:xs)