blob: f6e3c904159d332a9c021ab4e99ecd06886a2e09 (
plain)
1
2
3
4
5
6
7
8
9
|
import Control.Exception
-- We want to get the assertion failure, not the overflow exception.
-- trac #5561.
main :: IO ()
main = let e1 i = throw Overflow
in assert False (e1 5)
|