[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