From: Matthijs Kooijman Date: Thu, 12 Nov 2009 14:14:59 +0000 (+0100) Subject: Add two TODOs. X-Git-Tag: final-thesis~151 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=77b99ac93823fc7347c0c55c5a5a1056b4b7d57b;p=matthijs%2Fmaster-project%2Freport.git Add two TODOs. --- 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