liquidhaskell-0.7.0.0: tests/todo/fixme.lhs
foo :: Int
foo = 1
bar :: Int
bar = 1
{-@ LIQUID "--higher-order" @-}
{-@ unsound :: () -> {v:Bool | foo == bar } @-}
unsound :: () -> Bool
unsound _ = foo == bar foo :: Int
foo = 1
bar :: Int
bar = 1
{-@ LIQUID "--higher-order" @-}
{-@ unsound :: () -> {v:Bool | foo == bar } @-}
unsound :: () -> Bool
unsound _ = foo == bar