liquidhaskell icon indicating copy to clipboard operation
liquidhaskell copied to clipboard

Published 20 hours ago • verified publisher icon ucsd-progsys

Identity incorrectly marked as safe

Open jprider63 opened this issue 4 years ago • 1 comments

The following is marked as safe, even though o is not in scope.

{-@ unsafe :: i:Int -> {o = o} @-}
unsafe :: Int -> ()
unsafe _ = ()

jprider63 avatar Mar 24 '20 13:03 jprider63