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

File:

• src/Tests/Context.c (modified) (1 diff)

src/Tests/Context.c

@@ -1 @@
-context has_q( otype T ) {
+context has_q( type T ) {
         T q( T );
 };
 
-forall( otype z | has_q( z ) ) void f() {
-        context has_r( otype T, otype U ) {
+forall( type z | has_q( z ) ) void f() {
+        context has_r( type T, type U ) {
                 T r( T, T (T,U) );
         };
   
-        extern otype x, y | has_r( x, y );
+        extern type x, y | has_r( x, y );
 }