liquidhaskell-0.7.0.0: tests/todo/AbsRef.hs
module AbsRef where
data F a = F a
{-@ data F a <p :: a -> Prop> = F (x :: a)@-}
{-@ foo :: F <{\v -> true}, {\v -> true}> Int @-}
foo :: F Int
foo = F 5module AbsRef where
data F a = F a
{-@ data F a <p :: a -> Prop> = F (x :: a)@-}
{-@ foo :: F <{\v -> true}, {\v -> true}> Int @-}
foo :: F Int
foo = F 5