Replace statement with expression everywhere.

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

diff --git a/Chapters/Context.tex b/Chapters/Context.tex
index 1b0268922932952500644424fb3916268881fef6..9444a6e8e78b58ea9a25ec1214398456ccedab7f 100644 (file)
--- a/Chapters/Context.tex
+++ b/Chapters/Context.tex
@@ -17,7 +17,7 @@
   code after compilation, or using Template Haskell to inspect parts of the
   code you have written). This allows the full power of Haskell for generating
   a circuit. However it also creates severe limitations in the use of the
-  language (you can't use case statements in Lava, since they would be
+  language (you can't use case expressions in Lava, since they would be
   executed only once during circuit generation) and extra notational overhead.
 
   We will now have a look at the existing hardware description languages,
@@ -89,7 +89,7 @@
       possible in a completely reliable way yet. \cite[gill09]
       \item Some things are verbose to express. Especially ForSyDe suffers
       from a lot of notational overhead due to the Template Haskell approach
-      used. Since conditional statements are not supported, a lot of Haskell's
+      used. Since conditional expressions are not supported, a lot of Haskell's
       syntax sugar (if expressions, pattern matching, guards) cannot be used
       either, leading to more verbose notation as well.
       \item Polymorphism and higher order values are not supported within the