#11713: STM Finalizers -------------------------------------+------------------------------------- Reporter: mc.schroeder | Owner: mc.schroeder Type: feature request | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2011 Wiki Page: | -------------------------------------+------------------------------------- Comment (by fryguybob): I also am not convinced that the cost of the implementation changes are worth the feature. It isn't completely clear to me how to write the IO actions safely. Programmers might not always know what `TVar`s they are depending on and there also might be some other ways to deadlock due to transitive dependencies on `TVar`s (Data invariants, blocked transactions). I will take some time to look through everything very closely and hopefully run some performance comparisons as well. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11713#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler