Changes in src/Tests/InferParam.c [55ba7339:b1d6dd5]

File:

• src/Tests/InferParam.c (modified) (3 diffs)

src/Tests/InferParam.c

@@ -3 +3 @@
 double ?=?( double*, double );
 
-forall( otype T, otype U | { U f(T); } ) U g(T);
+forall( type T, type U | { U f(T); } ) U g(T);
 float f( int );
 double f( int );
@@ -13 +13 @@
 }
 
-context has_f_and_j( otype T, otype U ) {
+context has_f_and_j( type T, type U ) {
         U f( T );
         U j( T, U );
@@ -19 +19 @@
 
 float j( int, float );
-forall( otype T, otype U | has_f_and_j( T, U ) ) U k( T );
+forall( type T, type U | has_f_and_j( T, U ) ) U k( T );
 
 void l() {