projects
/
matthijs
/
master-project
/
report.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4688774
)
Add TODO.
author
Matthijs Kooijman
<matthijs@stdin.nl>
Wed, 11 Nov 2009 19:04:37 +0000
(20:04 +0100)
committer
Matthijs Kooijman
<matthijs@stdin.nl>
Wed, 11 Nov 2009 19:04:37 +0000
(20:04 +0100)
Chapters/Normalization.tex
patch
|
blob
|
history
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.
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
\subsubsection{Top level binding inlining}
This transform takes simple top level bindings generated by the
\small{GHC} compiler. \small{GHC} sometimes generates very simple