liquidhaskell-0.8.10.7: tests/datacon/neg/Data00Lib.hs

module Data00Lib where 

{-@ data Thing = Thing { fldThing :: {v:Int | 0 <= v} } @-}
data Thing = Thing { fldThing :: Int }

test2 :: Int -> Thing 
test2 = Thing