Changeset 10e0fcd for doc/generic_types

Timestamp:

Apr 16, 2017, 10:42:15 AM (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:

19b2133

Parents:

0aad606

Message:

fix malloc calls

File:

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

doc/generic_types/generic_types.tex

@@ -823 +823 @@
 struct S { int x, y; };
 forall(otype T, ttype Params | { void print(T); void print(Params); }) void print(T arg, Params rest) {
-        print(arg);
-        print(rest);
+        print(arg);  print(rest);
 }
 void print( char * x ) { printf( "%s", x ); }
@@ -839 +838 @@
 For example, it is possible to write @new@ as a library function:
 \begin{lstlisting}
-struct pair( otype R, otype S );
-forall( otype R, otype S ) void ?{}( pair(R, S) *, R, S );  // (1)
+forall( otype R, otype S ) void ?{}( pair(R, S) *, R, S );
 forall( dtype T, ttype Params | sized(T) | { void ?{}( T *, Params ); } ) T * new( Params p ) {
-        return ((T *)malloc( sizeof(T) )){ p }; // construct into result of malloc
+        return ((T *)malloc()){ p };                    $\C{// construct into result of malloc}$
 }
 pair( int, char ) * x = new( 42, '!' );