Fix / remove some final todos.

[matthijs/master-project/report.git] / Chapters / Normalization.tex

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 8058a1596c8683fb7da8ea5af9501ca78d555a3d..03cafcf23ed1ac11d908b283a9300328429a16e7 100644 (file)
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -913,7 +913,6 @@
         either. To prevent the \VHDL\ generation from breaking on these
         artifacts, this transformation removes them.
 
         either. To prevent the \VHDL\ generation from breaking on these
         artifacts, this transformation removes them.
 

-        \todo{Do not use old-style numerals in transformations}

         \starttrans
         letrec
           a0 = E0
         \starttrans
         letrec
           a0 = E0


@@ -1952,7 +1951,7 @@
         twice). This is discussed in more detail in
         \in{section}[sec:normalization:duplicatework].
 
         twice). This is discussed in more detail in
         \in{section}[sec:normalization:duplicatework].
 

-      \subsubsection{Literals}
+      \subsubsection[sec:normalization:literals]{Literals}

         There are a limited number of literals available in Haskell and Core.
         \refdef{enumerated types} When using (enumerating) algebraic
         data-types, a literal is just a reference to the corresponding data
         There are a limited number of literals available in Haskell and Core.
         \refdef{enumerated types} When using (enumerating) algebraic
         data-types, a literal is just a reference to the corresponding data


@@ -2149,7 +2148,7 @@
   \section{Unsolved problems}
     The above system of transformations has been implemented in the prototype
     and seems to work well to compile simple and more complex examples of
   \section{Unsolved problems}
     The above system of transformations has been implemented in the prototype
     and seems to work well to compile simple and more complex examples of

-    hardware descriptions. \todo{Ref christiaan?} However, this normalization
+    hardware descriptions \cite[baaij09]. However, this normalization

     system has not seen enough review and work to be complete and work for
     every Core expression that is supplied to it. A number of problems
     have already been identified and are discussed in this section.
     system has not seen enough review and work to be complete and work for
     every Core expression that is supplied to it. A number of problems
     have already been identified and are discussed in this section.