From: Matthijs Kooijman Date: Mon, 7 Dec 2009 10:42:38 +0000 (+0100) Subject: Add some content to the case normalization section. X-Git-Tag: final-thesis~63 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=b2e587f9ea84f6cdd281772667e508544549e6ef;p=matthijs%2Fmaster-project%2Freport.git Add some content to the case normalization section. --- diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index 8de3794..4eb9c62 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -1441,6 +1441,9 @@ 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. @@ -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} + \startitemize \item An extractor case with a single alternative that picks a field from a datatype, \eg\ \lam{case x of (a, b) -> a}.