Changeset 4eaefd1 for doc/theses/aaron_moss_PhD/phd/background.tex

Timestamp:

Feb 27, 2019, 10:26:18 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

d1b1063

Parents:

4cdfcbd

Message:

thesis: second draft to end of 3.2

File:

• doc/theses/aaron_moss_PhD/phd/background.tex (modified) (2 diffs)

doc/theses/aaron_moss_PhD/phd/background.tex

@@ -115 +115 @@
 \subsection{Type Assertions}
 
-Since bare polymorphic types do not provide a great range of available operations, \CFA{} provides a \emph{type assertion} mechanism to provide further information about a type\footnote{Subscript not included in source code}:
+Since bare polymorphic types do not provide a great range of available operations, \CFA{} provides a \emph{type assertion} mechanism to provide further information about a type\footnote{Subscript not included in source code.\label{sub-foot}}:
 
 \begin{cfa}
@@ -129 +129 @@
 
 Monomorphic specializations of polymorphic functions can themselves be used to satisfy type assertions. 
-For instance, !twice! could have been defined like this\footnotemark[5]:
+For instance, !twice! could have been defined like this\footref{sub-foot}:
 
 \begin{cfa}