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:
a7321ef
)
Fix typo.
author
Matthijs Kooijman
<m.kooijman@student.utwente.nl>
Mon, 25 May 2009 12:45:05 +0000
(14:45 +0200)
committer
Matthijs Kooijman
<m.kooijman@student.utwente.nl>
Mon, 25 May 2009 12:45:05 +0000
(14:45 +0200)
Core2Core.tex
patch
|
blob
|
history
diff --git
a/Core2Core.tex
b/Core2Core.tex
index 437aae70425fbc87c8cdbe9b5b9a1c8215d938b5..d62807715c21bd530530fd2077cb5a285136a9f9 100644
(file)
--- a/
Core2Core.tex
+++ b/
Core2Core.tex
@@
-396,7
+396,7
@@
As noted before, the above transformations are not complete. Other needed
transformations include:
\startitemize
\item Inlining of local identifiers with a function type. Since these cannot
transformations include:
\startitemize
\item Inlining of local identifiers with a function type. Since these cannot
-be represented in hardware directly, they must be transform
at
ed into something
+be represented in hardware directly, they must be transformed into something
else. Inlining them should always be possible without loss of semantics (TODO:
How true is this?) and can expose new possibilities for other transformations
passes (such as application propagation when inlining {\tt j} above).
else. Inlining them should always be possible without loss of semantics (TODO:
How true is this?) and can expose new possibilities for other transformations
passes (such as application propagation when inlining {\tt j} above).