liquidhaskell-0.8.10.7: tests/ple/neg/ple0.hs
{-@ LIQUID "--reflection" @-}
{-@ LIQUID "--ple" @-}
module PLE where
{-@ reflect adder @-}
adder :: Int -> Int -> Int
adder x y = x + y
{-@ prop :: { adder 5 6 == 12 } @-}
prop = (){-@ LIQUID "--reflection" @-}
{-@ LIQUID "--ple" @-}
module PLE where
{-@ reflect adder @-}
adder :: Int -> Int -> Int
adder x y = x + y
{-@ prop :: { adder 5 6 == 12 } @-}
prop = ()