liquidhaskell-0.4.0.0: tests/pos/maybe00.hs
module Foo () where
gloop = poop True
{-@ poop :: z:a -> {v: Maybe a | fromJust(v) = z} @-}
poop z = Just z
module Foo () where
gloop = poop True
{-@ poop :: z:a -> {v: Maybe a | fromJust(v) = z} @-}
poop z = Just z