liquidhaskell-0.9.0.2.1: tests/errors/Inconsistent2.hs
{-@ LIQUID "--expect-error-containing=Specified type does not refine Haskell type for `Inconsistent2.foo` (Checked)" @-}
module Inconsistent2 where
{-@ foo :: Nat @-}
foo :: Bool
foo = True
{-@ LIQUID "--expect-error-containing=Specified type does not refine Haskell type for `Inconsistent2.foo` (Checked)" @-}
module Inconsistent2 where
{-@ foo :: Nat @-}
foo :: Bool
foo = True