Commit 3b75c4e6 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments only

parent 3beb1a83
...@@ -343,6 +343,12 @@ Note [Type let] ...@@ -343,6 +343,12 @@ Note [Type let]
~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~
See #type_let# See #type_let#
%************************************************************************
%* *
Ticks
%* *
%************************************************************************
\begin{code} \begin{code}
-- | Allows attaching extra information to points in expressions -- | Allows attaching extra information to points in expressions
data Tickish id = data Tickish id =
...@@ -893,7 +899,7 @@ the occurrence info is wrong ...@@ -893,7 +899,7 @@ the occurrence info is wrong
%************************************************************************ %************************************************************************
%* * %* *
\subsection{The main data type} AltCon
%* * %* *
%************************************************************************ %************************************************************************
......
...@@ -423,7 +423,7 @@ Things to note ...@@ -423,7 +423,7 @@ Things to note
* We only do this with a single-alternative case * We only do this with a single-alternative case
Note [Check the output scrutinee for okForSpec] Note [Check the output scrutinee for okForSpec]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Consider this: Consider this:
case x of y { case x of y {
A -> ....(case y of alts).... A -> ....(case y of alts)....
...@@ -432,7 +432,7 @@ Because of the binder-swap, the inner case will get substituted to ...@@ -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 (case x of ..). So when testing whether the scrutinee is
okForSpecuation we must be careful to test the *result* scrutinee ('x' okForSpecuation we must be careful to test the *result* scrutinee ('x'
in this case), not the *input* one 'y'. The latter *is* ok for 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 the inner case out, at least not unless x is also evaluated at its
binding site. binding site.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment