liquidhaskell-0.8.10.7: tests/errors/SplitSubtype.hs
module FocusSubtype where
{-@ foo :: {v:Int | v > 0 && v > 5 && v < 10 } -> Int @-}
foo :: Int -> Int
foo x = x + 1
bar = foo 2
-- We want to see the error pinpointed to the second conjunct.
module FocusSubtype where
{-@ foo :: {v:Int | v > 0 && v > 5 && v < 10 } -> Int @-}
foo :: Int -> Int
foo x = x + 1
bar = foo 2
-- We want to see the error pinpointed to the second conjunct.