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