[commit: ghc] master: Update comments: Void# instead of State# RealWorld# (7eabd56)
git at git.haskell.org
git at git.haskell.org
Mon Dec 16 22:20:33 UTC 2013
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/7eabd5685b4d764934da5e00824128d310cd82e8/ghc
>---------------------------------------------------------------
commit 7eabd5685b4d764934da5e00824128d310cd82e8
Author: Joachim Breitner <mail at joachim-breitner.de>
Date: Mon Dec 16 23:20:24 2013 +0100
Update comments: Void# instead of State# RealWorld#
>---------------------------------------------------------------
7eabd5685b4d764934da5e00824128d310cd82e8
compiler/simplCore/Simplify.lhs | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs
index 03150c6..3873ed3 100644
--- a/compiler/simplCore/Simplify.lhs
+++ b/compiler/simplCore/Simplify.lhs
@@ -1780,7 +1780,7 @@ Consider: test :: Integer -> IO ()
Turns out that this compiles to:
Print.test
= \ eta :: Integer
- eta1 :: State# RealWorld ->
+ eta1 :: Void# ->
case PrelNum.< eta PrelNum.zeroInteger of wild { __DEFAULT ->
case hPutStr stdout
(PrelNum.jtos eta ($w[] @ Char))
@@ -2620,8 +2620,8 @@ for several reasons
for let-binding-purposes, we will *caseify* it (!),
with potentially-disastrous strictness results. So
instead we turn it into a function: \v -> e
- where v::State# RealWorld#. The value passed to this function
- is realworld#, which generates (almost) no code.
+ where v::Void#. The value passed to this function is void,
+ which generates (almost) no code.
* CPR. We used to say "&& isUnLiftedType rhs_ty'" here, but now
we make the join point into a function whenever used_bndrs'
More information about the ghc-commits
mailing list