[commit: ghc] master: Comments only (3b75c4e)
Simon Peyton Jones
simonpj at microsoft.com
Thu Jan 12 18:26:18 CET 2012
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/3b75c4e6dbb46a0d29a9a70d9c749ed8678dadfc
>---------------------------------------------------------------
commit 3b75c4e6dbb46a0d29a9a70d9c749ed8678dadfc
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Thu Jan 12 17:18:30 2012 +0000
Comments only
>---------------------------------------------------------------
compiler/coreSyn/CoreSyn.lhs | 8 +++++++-
compiler/simplCore/SetLevels.lhs | 4 ++--
2 files changed, 9 insertions(+), 3 deletions(-)
diff --git a/compiler/coreSyn/CoreSyn.lhs b/compiler/coreSyn/CoreSyn.lhs
index c18af8e..d7296e3 100644
--- a/compiler/coreSyn/CoreSyn.lhs
+++ b/compiler/coreSyn/CoreSyn.lhs
@@ -343,6 +343,12 @@ Note [Type let]
~~~~~~~~~~~~~~~
See #type_let#
+%************************************************************************
+%* *
+ Ticks
+%* *
+%************************************************************************
+
\begin{code}
-- | Allows attaching extra information to points in expressions
data Tickish id =
@@ -893,7 +899,7 @@ the occurrence info is wrong
%************************************************************************
%* *
-\subsection{The main data type}
+ AltCon
%* *
%************************************************************************
diff --git a/compiler/simplCore/SetLevels.lhs b/compiler/simplCore/SetLevels.lhs
index a80dea4..beb64cb 100644
--- a/compiler/simplCore/SetLevels.lhs
+++ b/compiler/simplCore/SetLevels.lhs
@@ -423,7 +423,7 @@ Things to note
* We only do this with a single-alternative case
Note [Check the output scrutinee for okForSpec]
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Consider this:
case x of y {
A -> ....(case y of alts)....
@@ -432,7 +432,7 @@ Because of the binder-swap, the inner case will get substituted to
(case x of ..). So when testing whether the scrutinee is
okForSpecuation we must be careful to test the *result* scrutinee ('x'
in this case), not the *input* one 'y'. The latter *is* ok for
-speculation here, but the former is not -- and ideed we can't float
+speculation here, but the former is not -- and indeed we can't float
the inner case out, at least not unless x is also evaluated at its
binding site.
More information about the Cvs-ghc
mailing list