liquidhaskell-0.6.0.0: tests/neg/FunSoundness.hs

module FunSoundness where


{-@ deadfun :: {v:a | false} -> a @-}
deadfun :: a -> a
deadfun x = x

bad = deadfun f 
  where f x = x