[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