projects
/
matthijs
/
master-project
/
report.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
10aead7
)
Add some content to the case normalization section.
author
Matthijs Kooijman
<matthijs@stdin.nl>
Mon, 7 Dec 2009 10:42:38 +0000
(11:42 +0100)
committer
Matthijs Kooijman
<matthijs@stdin.nl>
Mon, 7 Dec 2009 10:42:38 +0000
(11:42 +0100)
Chapters/Normalization.tex
patch
|
blob
|
history
diff --git
a/Chapters/Normalization.tex
b/Chapters/Normalization.tex
index 8de37949200931e5eeae8d337b29e949e03843f9..4eb9c62b2b3c2af966c23da337628828e36d6a7c 100644
(file)
--- a/
Chapters/Normalization.tex
+++ b/
Chapters/Normalization.tex
@@
-1441,6
+1441,9
@@
this.
\subsection{Case normalisation}
this.
\subsection{Case normalisation}
+ The transformations in this section ensure that case statements end up
+ in normal form.
+
\subsubsection{Scrutinee simplification}
This transform ensures that the scrutinee of a case expression is always
a simple variable reference.
\subsubsection{Scrutinee simplification}
This transform ensures that the scrutinee of a case expression is always
a simple variable reference.
@@
-1474,6
+1477,7
@@
This transformation ensures that all case expressions get a form
that is allowed by the intended normal form. This means they
will become one of: \refdef{intended normal form definition}
This transformation ensures that all case expressions get a form
that is allowed by the intended normal form. This means they
will become one of: \refdef{intended normal form definition}
+
\startitemize
\item An extractor case with a single alternative that picks a field
from a datatype, \eg\ \lam{case x of (a, b) -> a}.
\startitemize
\item An extractor case with a single alternative that picks a field
from a datatype, \eg\ \lam{case x of (a, b) -> a}.