diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-16 23:20:24 +0100 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-16 23:20:24 +0100 |
| commit | 7eabd5685b4d764934da5e00824128d310cd82e8 (patch) | |
| tree | 7b5f200f51340ae6c799a338dfdfce35adca7f38 | |
| parent | 0e2fd365301748ac7535ed15f46d159814b71438 (diff) | |
| download | haskell-7eabd5685b4d764934da5e00824128d310cd82e8.tar.gz | |
Update comments: Void# instead of State# RealWorld#
| -rw-r--r-- | compiler/simplCore/Simplify.lhs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs index 03150c6e12..3873ed3c82 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' |