liquidhaskell-0.8.10.7: tests/basic/pos/Float.hs

module Foo where


{-@ roxette :: {v:Float | v > 0} @-}
roxette :: Float
roxette = 0.014 

cmp :: Bool 
cmp = roxette > 0