X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Core2Core.tex;fp=Core2Core.tex;h=d62807715c21bd530530fd2077cb5a285136a9f9;hp=437aae70425fbc87c8cdbe9b5b9a1c8215d938b5;hb=aab3b545f16f854e01b60caf483093ed30749892;hpb=a7321efea813c68cf303360603369e5e39adbe7c diff --git a/Core2Core.tex b/Core2Core.tex index 437aae7..d628077 100644 --- 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 -be represented in hardware directly, they must be transformated 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).