Changeset 3b40801b for doc/theses/aaron_moss_PhD/phd/type-environment.tex

Timestamp:

Apr 23, 2019, 4:36:58 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:

70eaa80b

Parents:

c4b5486

Message:

thesis: add changebars

File:

• doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) (2 diffs)

doc/theses/aaron_moss_PhD/phd/type-environment.tex

@@ -15 +15 @@
 Each individual type class $T_i$ may also be associated with a \emph{bound}, $b_i$; this bound contains the \emph{bound type} that the variables in the type class are replaced with, but also includes other information in \CFACC{}, including whether type conversions are permissible on the bound type and what sort of type variables are contained in the class (data types, function types, or variadic tuples).
 
+\cbstart
 The following example demonstrates the use of a type environment for unification:
 
@@ -29 +30 @@
 To resolve the second argument to !f!, $T''$ must be checked for compatibility with $T'$; since !F!$_1$ unifies with !G!$_2$, their type classes must be merged. 
 Since both !F!$_1$ and !G!$_2$ are bound to !int!, this merge succeeds, producing the final environment $T'' = \{ \myset{\mathsf{G}_1, \mathsf{F}_1, \mathsf{G}_2} \rightarrow$ !int!$\}$.
+\cbend
 
 \begin{table}