liquidhaskell-0.9.0.2.1: tests/pos/Test000.hs

module Test000 () where

-- import Language.Haskell.Liquid.Prelude
{-@ toss :: Bool @-}
toss :: Bool
toss = (undefined 0) > 10