Changeset 2a3f0d9

Timestamp:

Aug 30, 2021, 9:13:51 PM (3 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, pthread-emulation, qualifiedEnum

Children:

4805bfc

Parents:

01f78e0

git-author:

Peter A. Buhr <pabuhr@…> (08/30/21 21:02:24)

git-committer:

Peter A. Buhr <pabuhr@…> (08/30/21 21:13:51)

Message:

proofread sections 3.2 and 3.3

File:

• doc/theses/andrew_beach_MMath/features.tex (modified) (7 diffs)

doc/theses/andrew_beach_MMath/features.tex

@@ -152 +152 @@
 % A type's descendants are its children and its children's descendants.
 
-For the purposes of illistration, a proposed -- but unimplemented syntax --
-will be used. Each virtual type is repersented by a trait with an annotation
+For the purposes of illustration, a proposed -- but unimplemented syntax --
+will be used. Each virtual type is represented by a trait with an annotation
 that makes it a virtual type. This annotation is empty for a root type, which
 creates a new tree:
@@ -192 +192 @@
 As @child_type@ is a child of @root_type@ it has the virtual members of
 @root_type@ (@to_string@ and @size@) as well as the one it declared
-(@irrelivant_function@).
+(@irrelevant_function@).
 
 It is important to note that these are virtual members, and may contain   
@@ -282 +282 @@
 
 Fields are filled in the same way as a structure as well. However an extra
-field is added, this field contains the pointer to the virtual table.
-It must be explicitly initialised by the user when the exception is
+field is added that contains the pointer to the virtual table.
+It must be explicitly initialized by the user when the exception is
 constructed.
 
@@ -310 +310 @@
 
 %\subsection{Exception Details}
-If one is only raising and handling exceptions, that is the only interface
-that is needed. However it is actually a short hand for a more complex
+This is the only interface needed when raising and handling exceptions.
+However it is actually a short hand for a more complex
 trait based interface.
 
-The language views exceptions through a series of traits,
-if a type satisfies them, then it can be used as an exception. The following
+The language views exceptions through a series of traits.
+If a type satisfies them, then it can be used as an exception. The following
 is the base trait all exceptions need to match.
 \begin{cfa}
@@ -322 +322 @@
 };
 \end{cfa}
-The trait is defined over two types, the exception type and the virtual table
+The trait is defined over two types: the exception type and the virtual table
 type. Each exception type should have a single virtual table type.
 There are no actual assertions in this trait because the trait system
@@ -347 +347 @@
 };
 \end{cfa}
-Both traits ensure a pair of types are an exception type, its virtual table
+Both traits ensure a pair of types is an exception type, its virtual table
 type
 and defines one of the two default handlers. The default handlers are used
@@ -393 +393 @@
 
 The differences between the two operations include how propagation is
-performed, where excecution after an exception is handler
+performed, where execution after an exception is handler
 and which default handler is run.