Remove an extra backslash.

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

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 8879ba9af1266bfdb92903021be479e4193b02e8..593a5f0f89f66814c2be5669a098aa31c014a3ef 100644 (file)
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -862,6 +862,8 @@
         Since its exact role and need is not clear yet, this transformation is
         not yet specified.
 
         Since its exact role and need is not clear yet, this transformation is
         not yet specified.
 

+        TODO: Cast propagation
+

       \subsubsection{Top level binding inlining}
         This transform takes simple top level bindings generated by the
         \small{GHC} compiler. \small{GHC} sometimes generates very simple
       \subsubsection{Top level binding inlining}
         This transform takes simple top level bindings generated by the
         \small{GHC} compiler. \small{GHC} sometimes generates very simple


@@ -950,7 +952,7 @@
 
         \starttrans
         (letrec binds in E) M
 
         \starttrans
         (letrec binds in E) M

-        -----------------
+        ------------------------

         letrec binds in E M
         \stoptrans
 
         letrec binds in E M
         \stoptrans