[GHC] #8091: retry# lacks strictness information
GHC
ghc-devs at haskell.org
Thu Jul 25 06:58:29 CEST 2013
#8091: retry# lacks strictness information
-------------------------------------+------------------------------------
Reporter: parcs | Owner:
Type: bug | Status: patch
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
-------------------------------------+------------------------------------
Changes (by parcs):
* status: new => patch
Comment:
The patch (validated):
{{{
#!diff
diff --git a/compiler/prelude/primops.txt.pp
b/compiler/prelude/primops.txt.pp
index 3d3518b..e12c1a5 100644
--- a/compiler/prelude/primops.txt.pp
+++ b/compiler/prelude/primops.txt.pp
@@ -1614,6 +1614,7 @@ primop AtomicallyOp "atomically#" GenPrimOp
primop RetryOp "retry#" GenPrimOp
State# RealWorld -> (# State# RealWorld, a #)
with
+ strictness = { \ _arity -> mkStrictSig (mkTopDmdType [topDmd] botRes)
}
out_of_line = True
has_side_effects = True
}}}
The unfoldings in Control.Concurrent.STM.TSem and .TQueue are improved as
a result of this change due to the aforementioned dead code elimination.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8091#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list