#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
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
