#5238: throwSTM+catchSTM pollutes the masking state
-----------------------------------+----------------------------------------
Reporter: mikhail.vorozhtsov | Owner: simonmar
Type: bug | Status: new
Priority: high | Milestone: 7.2.1
Component: Runtime System | Version: 7.1
Keywords: stm | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
-----------------------------------+----------------------------------------
Changes (by simonmar):
* owner: => simonmar
* priority: normal => high
* milestone: => 7.2.1
Comment:
hmm, I can see where the bug is, but I need to think about what behaviour
we want here. Is it sensible for `catchSTM` to catch asynchronous
exceptions, and to be able to mask inside STM?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5238#comment:2>
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
