Fix a reference.

[matthijs/master-project/report.git] / Chapters / Normalization.tex

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 4eb9c62b2b3c2af966c23da337628828e36d6a7c..433871013eced36c05be270707d14eceeed84646 100644 (file)
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -1473,10 +1473,30 @@
         \transexample{letflat}{Case normalisation}{from}{to}
 
 
         \transexample{letflat}{Case normalisation}{from}{to}
 
 

+        \placeintermezzo{}{
+          \defref{wild binders}
+          \startframedtext[width=7cm,background=box,frame=no]
+          \startalignment[center]
+            {\tfa Wild binders}
+          \stopalignment
+          \blank[medium]
+            In a functional expression, a \emph{wild binder} refers to any
+            binder that is never referenced. This means that even though it
+            will be bound to a particular value, that value is never used.
+
+            The Haskell syntax offers the underscore as a wild binder that
+            cannot even be referenced (It can be seen as introducing a new,
+            anonymous, binder everytime it is used).
+            
+            In these transformations, the term wild binder will sometimes be
+            used to indicate that a binder must not be referenced.
+          \stopframedtext
+        }
+

       \subsubsection{Case normalization}
         This transformation ensures that all case expressions get a form
         that is allowed by the intended normal form. This means they
       \subsubsection{Case normalization}
         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}
+        will become one of:

 
         \startitemize
         \item An extractor case with a single alternative that picks a field
 
         \startitemize
         \item An extractor case with a single alternative that picks a field


@@ -1519,7 +1539,6 @@
             Cn wn,0 ... wn,m -> yn
         \stoptrans
 
             Cn wn,0 ... wn,m -> yn
         \stoptrans
 

-        \refdef{wild binder}

         Note that this transformation applies to case expressions with any
         scrutinee. If the scrutinee is a complex expression, this might
         result in duplication of work (hardware). An extra condition to
         Note that this transformation applies to case expressions with any
         scrutinee. If the scrutinee is a complex expression, this might
         result in duplication of work (hardware). An extra condition to


@@ -1571,7 +1590,7 @@
 
       \subsubsection[sec:transformation:caseremoval]{Case removal}
         This transform removes any case expression with a single alternative and
 
       \subsubsection[sec:transformation:caseremoval]{Case removal}
         This transform removes any case expression with a single alternative and

-        only wild binders.\refdef{wild binder}
+        only wild binders.\refdef{wild binders}

 
         These "useless" case expressions are usually leftovers from case simplification
         on extractor case (see the previous example).
 
         These "useless" case expressions are usually leftovers from case simplification
         on extractor case (see the previous example).