X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=2979b69034b38de0d3ac87dfce3ef01a39b1345b;hp=907411e877ef6bb9d2d1a30c67fd5d94774527a5;hb=4a1b0ec18b227d6ad82511e2968ea9b0023b4377;hpb=0ab64c5ce2ab968001c96475b310cf6f020bd475

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 907411e..2979b69 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -551,7 +551,7 @@
     \stoplambda
 
     Again, the transformation does not apply to this lambda abstraction, so we
-    look at its body. For brevity, we'll put the case statement on one line from
+    look at its body. For brevity, we'll put the case expression on one line from
     now on.
 
     \startlambda
@@ -1428,7 +1428,7 @@
         \stoptrans
         \todo{Check the subscripts of this transformation}
 
-        Note that this transformation applies to case statements with any
+        Note that this transformation applies to case expressions with any
         scrutinee. If the scrutinee is a complex expression, this might result
         in duplicate hardware. An extra condition to only apply this
         transformation when the scrutinee is already simple (effectively
@@ -1481,10 +1481,10 @@
         \in{section}[sec:transformation:caseremoval].
 
       \subsubsection[sec:transformation:caseremoval]{Case removal}
-        This transform removes any case statements with a single alternative and
+        This transform removes any case expression with a single alternative and
         only wild binders.
 
-        These "useless" case statements are usually leftovers from case simplification
+        These "useless" case expressions are usually leftovers from case simplification
         on extractor case (see the previous example).
 
         \starttrans