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

File:

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

src/examples/ctxts.c

@@ +1 @@
+//
+// 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.
+//
+// ctxts.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:11:19 2015
+// Update Count     : 2
+//
+
 context has_f( type T ) {
-    T f( T );
+        T f( T );
 };
 
 context has_g( type U | has_f( U ) ) {
-    U g( U );
+        U g( U );
 };
 
 forall( type V | has_g( V ) ) void h( V );
+
+// Local Variables: //
+// tab-width: 4 //
+// compile-command: "cfa ctxts.c" //
+// End: //