liquidhaskell-0.7.0.0: tests/todo/Unsound.hs
module Unsound where
{-@ assume magic :: {v:() | false} @-}
magic :: ()
magic = undefined
bar = head []module Unsound where
{-@ assume magic :: {v:() | false} @-}
magic :: ()
magic = undefined
bar = head []