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

File:

• src/examples/simple.c (modified) (1 diff)

src/examples/simple.c

@@ -1 @@
-// './cfa square.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.
+//
+// simple.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:30:27 2015
+// Update Count     : 3
+//
 
 extern "C" {
-    int printf( const char *fmt, ... );
+        int printf( const char *fmt, ... );
 }
 
 context has_star( type T ) {
-    T ?*?( T, T );
+        T ?*?( T, T );
 };
 
 int ?*?( int, int );
-int ?=?( int*, int );
+int ?=?( int *, int );
 
 forall( type T | has_star( T ) )
 T square( T t ) {
-    return t * t;
+        return t * t;
 }
 
 int main() {
-    printf( "result of square of 5 is %d\n", square( 5 ) );
+        printf( "result of square of 5 is %d\n", square( 5 ) );
 }
+
+// Local Variables: //
+// tab-width: 4 //
+// compile-command: "cfa simple.c" //
+// End: //