liquidhaskell-0.9.0.2.1: tests/neg/Hex00.hs
{-@ LIQUID "--expect-any-error" @-}
module Hex00 where
{-@ foo :: {x:Int | x = 0x7} -> {y:Int | y = 0x6} -> {v:Int | v = 0xF} @-}
foo :: Int -> Int -> Int
foo x y = x + y
{-@ LIQUID "--expect-any-error" @-}
module Hex00 where
{-@ foo :: {x:Int | x = 0x7} -> {y:Int | y = 0x6} -> {v:Int | v = 0xF} @-}
foo :: Int -> Int -> Int
foo x y = x + y