Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 12 Jan 2012 17:18:30 +0000 (17:18 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 12 Jan 2012 17:18:30 +0000 (17:18 +0000)
compiler/coreSyn/CoreSyn.lhs
compiler/simplCore/SetLevels.lhs

index c18af8e..d7296e3 100644 (file)
@@ -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
 %*                                                                     *
 %************************************************************************
 
index a80dea4..beb64cb 100644 (file)
@@ -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.