Changeset 76934fb for src/examples/abstype.c

Timestamp:

Jun 1, 2015, 12:55:33 PM (10 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

6db50d5

Parents:

46cbfe1 (diff), db82596 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into labels

File:

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

src/examples/abstype.c

@@ -1 @@
-// "cfa-cpp -nx Abstype.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.
+//
+// abstype.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:10:01 2015
+// Update Count     : 4
+//
 
 type T | { T x( T ); };
 
 T y( T t ) {
-    T t_instance;
-    return x( t );
+        T t_instance;
+        return x( t );
 }
 
@@ -16 +29 @@
 
 U x( U u ) {
-    U u_instance = u;
-    (*u)++;
-    return u;
+        U u_instance = u;
+        (*u)++;
+        return u;
 }
 
 int *break_abstraction( U u ) {
-    return u;
+        return u;
 }
+
+// Local Variables: //
+// tab-width: 4 //
+// compile-command: "cfa abstype.c" //
+// End: //