Changeset 20e409e for doc/refrat/refrat.tex

Timestamp:

Sep 24, 2015, 9:59:20 PM (9 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

02e5ab6

Parents:

bfee448

Message:

make *predefined* declarations work

File:

• doc/refrat/refrat.tex (modified) (1 diff)

doc/refrat/refrat.tex

@@ -254 +254 @@
 \subsubsection{Semantics}
 
-CFA provides a capability for generic types; using this capability a single "generic type generator"
-can be written that can represent multiple concrete type instantiations by substitution of the "type
-parameters" of the generic type for concrete types. Syntactically a generic type generator is
-represented by putting a forall specifier on a struct or union declaration, as defined in section
-6.7.2.5. An instantiation of the generic type is written by specifying the type parameters in
-parentheses after the name of the generic type generator, as in the following example:
-\begin{lstlisting}
-forall( type T ) struct pair {
+\CFA provides a capability for generic types; using this capability a single "generic type
+generator" can be written that can represent multiple concrete type instantiations by substitution
+of the "type parameters" of the generic type for concrete types. Syntactically a generic type
+generator is represented by putting a forall specifier on a struct or union declaration, as defined
+in \VRef{forall}. An instantiation of the generic type is written by specifying the type parameters
+in parentheses after the name of the generic type generator:
+\begin{lstlisting}
+forall( type T | sumable( T ) ) struct pair {
         T x;
         T y;
 };
-
 pair( int ) p = { 3, 14 };
 \end{lstlisting}
 
 The type parameters in an instantiation of a generic type must satisfy any constraints in the forall
-specifier on the type generator declaration. The instantiation then has the semantics that would
-result if the type parameters were substituted into the type generator declaration by macro
-substitution.
+specifier on the type generator declaration, e.g., \lstinline$sumable$. The instantiation then has
+the semantics that would result if the type parameters were substituted into the type generator
+declaration by macro substitution.
 
 Polymorphic functions may have generic types as parameters, and those generic types may use type
-parameters of the polymorphic function as type parameters of the generic type, as in the following
-example:
+parameters of the polymorphic function as type parameters of the generic type:
 \begin{lstlisting}
 forall( type T ) void swap( pair(T) *p ) {