From 77b99ac93823fc7347c0c55c5a5a1056b4b7d57b Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Thu, 12 Nov 2009 15:14:59 +0100 Subject: [PATCH] Add two TODOs. --- Chapters/Normalization.tex | 4 ++++ Chapters/Prototype.tex | 2 ++ 2 files changed, 6 insertions(+) diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index 593a5f0..f2d0fbb 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -1331,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}. diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex index c17a41d..8beba0f 100644 --- a/Chapters/Prototype.tex +++ b/Chapters/Prototype.tex @@ -636,6 +636,8 @@ Using this set of types, all types in basic Haskell can be represented. \section[sec:prototype:statetype]{State annotations in Haskell} + TODO: This section should be reviewed and expanded. + Ideal: Type synonyms, since there is no additional code overhead for packing and unpacking. Downside: there is no explicit conversion in Core either, so type synonyms tend to get lost in expressions (they can be -- 2.30.2