liquidhaskell-0.9.0.2.1: tests/import/client/C.hs
{-@ LIQUID "--reflection" @-}
module C where
import Language
import B
{-@ getVal :: {e:Expr l st r | isEFalse e } -> {v:Int | false} @-}
getVal :: Expr l st r -> Int
getVal (EFalse v) = v {-@ LIQUID "--reflection" @-}
module C where
import Language
import B
{-@ getVal :: {e:Expr l st r | isEFalse e } -> {v:Int | false} @-}
getVal :: Expr l st r -> Int
getVal (EFalse v) = v