From 74f35b798121688576fa237ecc6b070b132d70ba Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 11 Nov 2009 20:04:37 +0100
Subject: [PATCH] Add TODO.

---
 Chapters/Normalization.tex | 2 ++
 1 file changed, 2 insertions(+)

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