Changeset 55ba7339 for src/Tests/Forall.c

Timestamp:

Jun 14, 2016, 12:33:57 PM (8 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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, with_gc

Children:

e04ef3a

Parents:

4c82a3c

Message:

update keywords in test files

File:

• src/Tests/Forall.c (modified) (6 diffs)

src/Tests/Forall.c

@@ -7 +7 @@
 
 void g1() {
-        forall( type T ) T f( T );
+        forall( otype T ) T f( T );
         void f( int );
         void h( void (*p)(void) );
@@ -24 +24 @@
 
 void g2() {
-        forall( type T ) void f( T, T );
-        forall( type T, type U ) void f( T, U );
+        forall( otype T ) void f( T, T );
+        forall( otype T, otype U ) void f( T, U );
   
         int x;
@@ -37 +37 @@
 }
 
-typedef forall ( type T ) int (*f)( int );
+typedef forall ( otype T ) int (*f)( int );
 
-forall( type T )
+forall( otype T )
 void swap( T left, T right ) {
         T temp = left;
@@ -46 +46 @@
 }
 
-context sumable( type T ) {
+context sumable( otype T ) {
         const T 0;
         T ?+?(T, T);
@@ -53 +53 @@
 };
 
-type T1 | { const T1 0; T1 ?+?(T1, T1); T1 ?++(T1); [T1] ?+=?(T1,T1); },
-        T2(type P1, type P2 ),
+otype T1 | { const T1 0; T1 ?+?(T1, T1); T1 ?++(T1); [T1] ?+=?(T1,T1); },
+        T2(otype P1, otype P2 ),
         T3 | sumable(T3);
 
-type T2(type P1, type P2) | sumable(T2(P1,P2)) = struct { P1 i; P2 j; };
+otype T2(otype P1, otype P2) | sumable(T2(P1,P2)) = struct { P1 i; P2 j; };
 
 T2(int, int) w1;
 typedef T2(int, int) w2;
 w2 g2;
-type w3 = T2(int, int);
+otype w3 = T2(int, int);
 w3 g3;
 
-forall( type T | sumable( T ) )
+forall( otype T | sumable( T ) )
 T sum( int n, T a[] ) {
         T total = 0;
@@ -74 +74 @@
 }
 
-forall( type T | { const T 0; T ?+?(T, T); T ?++(T); [T] ?+=?(T,T); } )
+forall( otype T | { const T 0; T ?+?(T, T); T ?++(T); [T] ?+=?(T,T); } )
 T twice( T t ) {
         return t + t;
 }
 
-forall( type T | { const T 0; int ?!=?(T, T); int ?<?(T, T); } )
+forall( otype T | { const T 0; int ?!=?(T, T); int ?<?(T, T); } )
 T min( T t1, T t2 ) {
         return t1 < t2 ? t1 : t2;