From: Christiaan Baaij Date: Tue, 2 Mar 2010 13:57:27 +0000 (+0100) Subject: Rewrite sentence about defunctionalization transformations X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=c177537b5c0bd0984c10c0c98624921a136c17c4 Rewrite sentence about defunctionalization transformations --- diff --git "a/c\316\273ash.lhs" "b/c\316\273ash.lhs" index e17914f..d0ab48b 100644 --- "a/c\316\273ash.lhs" +++ "b/c\316\273ash.lhs" @@ -1083,8 +1083,9 @@ exhaustively applies a set of \emph{meaning-preserving} transformations on the \emph{Core} description until this description is in a \emph{normal form}. This set of transformations includes transformations typically found in reduction systems for lambda calculus, such a $\beta$-reduction and -$\eta$-expansion, but also includes \emph{defunctionalization} transformations -which reduce higher-order functions to `regular' first-order functions. +$\eta$-expansion, but also includes self-defined transformations that are +responsible for the reduction of higher-order functions to `regular' +first-order functions. The final step in the compiler pipeline is the translation to a \VHDL\ \emph{netlist}, which is a straightforward process due to resemblance of a