liquidhaskell-0.4.0.0: tests/crash/AbsRef.hs
module Fixme where
foo :: [a] -> ()
{-@ foo :: [{v:a | v = 5}] -> () @-}
foo _ = ()
bar :: a -> b -> a
{-@ bar :: forall<p :: a -> b -> Prop>. x:a -> {xx:b<p> | xx > xx} -> a @-}
bar x y = x
module Fixme where
foo :: [a] -> ()
{-@ foo :: [{v:a | v = 5}] -> () @-}
foo _ = ()
bar :: a -> b -> a
{-@ bar :: forall<p :: a -> b -> Prop>. x:a -> {xx:b<p> | xx > xx} -> a @-}
bar x y = x