liquidhaskell-0.8.10.7: tests/terminate/pos/list00-str.hs

module List00_Str where

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

lref = go [] 
  where
    go acc [] = acc 
    go acc (x:xs) = go (x:acc) xs