projects
/
matthijs
/
master-project
/
report.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
736a0a7
)
Actually refer to the intended normal form definition.
author
Matthijs Kooijman
<matthijs@stdin.nl>
Mon, 7 Dec 2009 13:39:27 +0000
(14:39 +0100)
committer
Matthijs Kooijman
<matthijs@stdin.nl>
Mon, 7 Dec 2009 13:39:27 +0000
(14:39 +0100)
Chapters/Normalization.tex
patch
|
blob
|
history
diff --git
a/Chapters/Normalization.tex
b/Chapters/Normalization.tex
index 322b2401d6167a08b5ebfc0134e5d14bfd928eb5..fba2c4a47d22b6fb09527fbd4f94ff40e87fd162 100644
(file)
--- a/
Chapters/Normalization.tex
+++ b/
Chapters/Normalization.tex
@@
-318,12
+318,13
@@
\subsection[sec:normalization:intendednormalform]{Intended normal form definition}
Now we have some intuition for the normal form, we can describe how we want
\subsection[sec:normalization:intendednormalform]{Intended normal form definition}
Now we have some intuition for the normal form, we can describe how we want
- the normal form to look like in a slightly more formal manner. The following
- EBNF-like description captures most of the intended structure (and
- generates a subset of \GHC's core format).
+ the normal form to look like in a slightly more formal manner. The
+ EBNF-like description in \in{definition}[def:IntendedNormal] captures
+ most of the intended structure (and generates a subset of \GHC's core
+ format).
- There are two things missing
: cast expressions are sometimes
- allowed by the prototype, but not specified here and the below
+ There are two things missing
from this definition: cast expressions are
+
sometimes
allowed by the prototype, but not specified here and the below
definition allows uses of state that cannot be translated to \VHDL\
properly. These two problems are discussed in
\in{section}[sec:normalization:castproblems] and
definition allows uses of state that cannot be translated to \VHDL\
properly. These two problems are discussed in
\in{section}[sec:normalization:castproblems] and