liquidhaskell-0.8.10.7: tests/datacon/neg/Data02Lib.hs
module Data02Lib where
{-@ data Pair = P { pX :: Nat, pY :: {v:Nat | pX < v} } @-}
data Pair = P { pX :: Int, pY :: Int }
{-@ test1 :: Pair -> TT @-}
test1 (P a b) = a < a
module Data02Lib where
{-@ data Pair = P { pX :: Nat, pY :: {v:Nat | pX < v} } @-}
data Pair = P { pX :: Int, pY :: Int }
{-@ test1 :: Pair -> TT @-}
test1 (P a b) = a < a