From 52bace7ed2b830f2ed70f6410c982741230d3865 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Fri, 17 Jun 2016 19:53:11 +0200 Subject: [PATCH] overvolle hboxen opruimen --- deliverables/report/gen.tex | 4 ++-- deliverables/report/sem.tex | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/deliverables/report/gen.tex b/deliverables/report/gen.tex index 1227380..17dacc0 100644 --- a/deliverables/report/gen.tex +++ b/deliverables/report/gen.tex @@ -66,8 +66,8 @@ main(){ var a = plus(3, 4); } \subsection{Generation} The code generation phase transforms a well typed \AST{} to either an error, or a \tt{SSMProgram}. The latter is a list of labels and instructions. The -generation happens within a -\CI{WriterT SSMProgram (StateT (Addressbook, [Label]) (Either GenError)) a} +generation happens within a\\ +\CI{WriterT SSMProgram (StateT (Addressbook, [Label]) (Either GenError)) a}\\ environment. Which we have implemented as a \tt{RWST} with \tt{()} for the reading environment. In this \tt{Addressbook} is a simple map from identifiers to \tt{Address}, which in turn is either a label to jump to or an diff --git a/deliverables/report/sem.tex b/deliverables/report/sem.tex index e40e86b..cfb7cfb 100644 --- a/deliverables/report/sem.tex +++ b/deliverables/report/sem.tex @@ -27,7 +27,8 @@ compiler phase, and if more transformations are needed in the future these will be placed in a separate phase. The implementation of lambdas in \SPLC{} is implemented through a clever trick. -All \tt{LambdaExpressions} in the \AST{} are lifted to actual functions. This +All \\ +\tt{LambdaExpressions} in the \AST{} are lifted to actual functions. This transformation is illustrated in Listing~\ref{lst:lambdaLift}. This has the advantage that, with our support for higher order functions, lambda functions do not require any special attention after this transformation. One -- 2.20.1