From c177537b5c0bd0984c10c0c98624921a136c17c4 Mon Sep 17 00:00:00 2001 From: Christiaan Baaij Date: Tue, 2 Mar 2010 14:57:27 +0100 Subject: [PATCH] Rewrite sentence about defunctionalization transformations --- "c\316\273ash.lhs" | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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 -- 2.30.2