Changes in src/tests/Forall.c [a0dcd2e:62edde5]

File:

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

src/tests/Forall.c

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