liquidhaskell-0.8.10.7: tests/datacon/neg/NewTypes0.hs
module Newtypes0 where
newtype Foo a = Bar Int
{-@ newtype Foo a = Bar {x :: Nat} @-}
{-@ fromFoo :: Foo a -> {v:Int | v == 0 } @-}
fromFoo :: Foo a -> Int
fromFoo (Bar n) = n
module Newtypes0 where
newtype Foo a = Bar Int
{-@ newtype Foo a = Bar {x :: Nat} @-}
{-@ fromFoo :: Foo a -> {v:Int | v == 0 } @-}
fromFoo :: Foo a -> Int
fromFoo (Bar n) = n