[GHC] #5561: assertion overriden by other exceptions

[GHC]

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

Comment(by simonpj):

 I agree with Simon.  It's true that
   `(throw this && throw that)`
 should be allowed to return either exception `this` or `that`, but
    `assert False (throw this)`
 should really report the assertion failure, not throw the exception.

 Putting an example like this with the modification to `assertError`, plus
 a pointer to the ticket, would be good. Ian can you do?

 Simon

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