liquidhaskell-0.9.0.2.1: tests/pos/Hex00.hs

module Hex00 where

foo :: Int -> Int -> Int 
foo x y = x + y

{-@ foo :: {x:Int | x = 0x7} -> {y:Int | y = 0x8} -> {v:Int | v = 0xF} @-}