Ignore:
Timestamp:
Feb 27, 2019, 10:26:18 PM (3 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr
Children:
d1b1063
Parents:
4cdfcbd
Message:

thesis: second draft to end of 3.2

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/theses/aaron_moss_PhD/phd/background.tex

    r4cdfcbd r4eaefd1  
    115115\subsection{Type Assertions}
    116116
    117 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}:
     117Since 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}}:
    118118
    119119\begin{cfa}
     
    129129
    130130Monomorphic specializations of polymorphic functions can themselves be used to satisfy type assertions.
    131 For instance, !twice! could have been defined like this\footnotemark[5]:
     131For instance, !twice! could have been defined like this\footref{sub-foot}:
    132132
    133133\begin{cfa}
Note: See TracChangeset for help on using the changeset viewer.