liquidhaskell-0.4.0.0: tests/crash/num-float-error1.hs
module Crash where
{-@ f :: (Num a) => {v:a | v > 0.0} -> a @-}
f :: (Num a) => a -> a
f a = a + 1
module Crash where
{-@ f :: (Num a) => {v:a | v > 0.0} -> a @-}
f :: (Num a) => a -> a
f a = a + 1