Changeset 424

Timestamp:

Dec 14, 2010, 4:51:19 PM (10 years ago)

Author:

mulligan

Message:

Tidied up English in last addition.

File:

• Deliverables/D4.1/Report/report.tex (modified) (2 diffs)

Deliverables/D4.1/Report/report.tex

@@ -406 +406 @@
 \textbf{Assert false} may be called is some feature of the physical 8051 processor is not implemented in the O'Caml emulator and an executing program is attempting to use it.
 \item
-\textbf{Assert false} may be called when the real, physical processor's behaviour would be undefined.
+\textbf{Assert false} may be called when the real, physical processor's behaviour is undefined in a particular context.
 An example of this is loading a program which is too large for the available amount of code memory that the processor provides.
 \end{enumerate}
@@ -425 +425 @@
 These obligations are closed by performing a case analysis over \texttt{not\_implemented}.
 
-In the rare case that Item 4 is encountered (only once in the emulator, in the \texttt{assembly} function), we use the Maybe monad to signal failure or success.
+In the rare case that Item 4 is encountered (only once in the implementation of the emulator, in the \texttt{assembly} function), we use the Maybe monad to signal failure or success.
 
 \subsection{Addressing modes: use of dependent types}