X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=593a5f0f89f66814c2be5669a098aa31c014a3ef;hp=8879ba9af1266bfdb92903021be479e4193b02e8;hb=93cb2df29b689ea5e28d6192d5ebbd47c2230d05;hpb=42a5dbd086e55750ef22c8c989f2a7ec474815c5

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 8879ba9..593a5f0 100644
--- 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.
 
+        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
@@ -950,7 +952,7 @@
 
         \starttrans
         (letrec binds in E) M
-        -----------------
+        ------------------------
         letrec binds in E M
         \stoptrans