X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=f2d0fbba13be843158d19e4644604ccb6c07d307;hp=1e5b200c0a82922b4f1b0c0350b09d6212372980;hb=7095d53c2ec805554837714da3df3a458ebfb2bb;hpb=48f4c2d4c18166aac6485e1c4ce759940c320bb2

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 1e5b200..f2d0fbb 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
@@ -1329,6 +1331,10 @@
         Note that \lam{x0} and {x1} will still need normalization after this.
 
       \subsubsection{Argument propagation}
+        TODO: Generalize this section into specialization, so other
+        transformations can refer to this (since specialization is really used
+        in multiple categories).
+
         This transform deals with arguments to user-defined functions that are
         not representable at runtime. This means these arguments cannot be
         preserved in the final form and most be {\em propagated}.