projects
/
matthijs
/
master-project
/
report.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update title.
[matthijs/master-project/report.git]
/
Chapters
/
Normalization.tex
diff --git
a/Chapters/Normalization.tex
b/Chapters/Normalization.tex
index 593a5f0f89f66814c2be5669a098aa31c014a3ef..f2d0fbba13be843158d19e4644604ccb6c07d307 100644
(file)
--- 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}
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}.
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}.