liquidhaskell-0.4.0.0: tests/pos/foldr.hs
module Foldr where import Language.Haskell.Liquid.Prelude import Data.List (foldl') foo :: a -> b -> c -> d foo = \_ _ _ -> error "False" bar :: p -> [(q, r)] -> p bar = foldr (\(k, v) -> foo k v)
module Foldr where import Language.Haskell.Liquid.Prelude import Data.List (foldl') foo :: a -> b -> c -> d foo = \_ _ _ -> error "False" bar :: p -> [(q, r)] -> p bar = foldr (\(k, v) -> foo k v)