overvolle hboxen opruimen
[cc1516.git] / deliverables / report / gen.tex
index 1227380..17dacc0 100644 (file)
@@ -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