Changes in src/examples/specialize.c [843054c2:86bd7c1f]

File:

• src/examples/specialize.c (modified) (2 diffs)

src/examples/specialize.c

@@ -1 @@
-// "./cfa specialize.c"
-// "./cfa -g simple.c"
-// "./cfa -CFA simple.c > simple_out.c"
+//
+// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+//
+// specialize.c -- 
+//
+// Author           : Richard C. Bilson
+// Created On       : Wed May 27 17:56:53 2015
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed May 27 18:32:26 2015
+// Update Count     : 2
+//
 
 /// void f( const int * );
@@ -25 +36 @@
 
 extern "C" {
-  int printf( const char*, ... );
+        int printf( const char*, ... );
 }
 
 forall( type T ) T f( T t )
 {
-  printf( "in f; sizeof T is %d\n", sizeof( T ) );
-  return t;
+        printf( "in f; sizeof T is %d\n", sizeof( T ) );
+        return t;
 }
 
 void g( int (*p)(int) )
 {
-  printf( "g: f(7) returned %d\n", f(7) );
+        printf( "g: f(7) returned %d\n", f(7) );
 }
 
 int main() {
-  g( f );
+        g( f );
 }
+
+// Local Variables: //
+// tab-width: 4 //
+// compile-command: "cfa specialize.c" //
+// End: //