#5561: assertion overriden by other exceptions
--------------------------------+-------------------------------------------
    Reporter:  MikolajKonarski  |       Owner:                             
        Type:  bug              |      Status:  new                        
    Priority:  normal           |   Component:  Compiler                   
     Version:  7.3              |    Keywords:                             
    Testcase:                   |   Blockedby:                             
          Os:  Linux            |    Blocking:                             
Architecture:  x86_64 (amd64)   |     Failure:  Incorrect result at runtime
--------------------------------+-------------------------------------------
 The attached file, containing

 {{{
 main = let e1 i = throw Overflow
        in assert False (e1 5)
 }}}

 and compiled with

 {{{
 ghc --make -O1 -fno-ignore-asserts test.hs
 }}}

 produces

 {{{
 test: arithmetic overflow
 }}}

 and should produce

 {{{
 test: test.hs:25:11-16: Assertion failed
 }}}

 Works OK, if compiled with

 {{{
 ghc --make -O0 test.hs
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5561>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to