[GHC] #13330: forkIO has inconsistent behavior under optimization
GHC
ghc-devs at haskell.org
Fri Feb 24 09:18:55 UTC 2017
#13330: forkIO has inconsistent behavior under optimization
-------------------------------------+-------------------------------------
Reporter: dfeuer | Owner: dfeuer
Type: bug | Status: patch
Priority: normal | Milestone: 8.2.1
Component: Core Libraries | Version: 8.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: Other | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s): Phab:D3189
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by simonpj):
Strange. The definition of `catch` is just
{{{
catch act = catchException (lazy act)
}}}
for reasons extensively documented in #11555. So `catchException` has
different, less desirable, and undocumented behaviour.
Should move the `lazy` into `catchException`? So then `catch =
catchException`. Do we actually want the distinction?
Incidentally, the use of 'lazy' in `catch` is entirely un-documented. No
`Note` no nothing. While fixing this ticket it would be good to fix that
too. At every least a reference to #11555!
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13330#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list