Add TODO.

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 1e5b200c0a82922b4f1b0c0350b09d6212372980..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.
 
+        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