Changeset 8396044 for doc/generic_types

Timestamp:

Apr 3, 2017, 2:29:04 PM (8 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

6f71276

Parents:

36e05a2

Message:

small colour changes

File:

• doc/generic_types/generic_types.tex (modified) (2 diffs)

doc/generic_types/generic_types.tex

@@ -214 +214 @@
 Hence, programmers can easily form new local environments to maximize reuse of existing functions and types.
 
-Finally, variables may be overloaded:
+Finally, \CFA allows variable overloading:
 \lstDeleteShortInline@
 \par\smallskip
@@ -263 +263 @@
 forall( otype T | summable( T ) )
   T sum( T a[$\,$], size_t size ) {
-        T total = { 0 };                                                $\C{// instantiate T from 0}$
+        `T` total = { `0` };                                    $\C{// instantiate T from 0}$
         for ( unsigned int i = 0; i < size; i += 1 )
-                total += a[i];                                          $\C{// select appropriate +}$
+                total `+=` a[i];                                        $\C{// select appropriate +}$
         return total;
 }