Changes in / [7444113:6f71276]

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;
 }