[GHC] #8091: retry# lacks strictness information
GHC
ghc-devs at haskell.org
Thu Jul 25 06:54:03 CEST 2013
#8091: retry# lacks strictness information
------------------------------------+-------------------------------------
Reporter: parcs | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Keywords: | Operating System: Unknown/Multiple
Architecture: Unknown/Multiple | Type of failure: None/Unknown
Difficulty: Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: |
------------------------------------+-------------------------------------
The `retry#` primop should be marked as returning bottom since it never
actually returns anything as far as the simplifier is concerned. This
change would help the simplifier eliminate unreachable code inside STM
transactions.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8091>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list