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

File:

• src/Tests/Scope.c (modified) (2 diffs)

src/Tests/Scope.c

@@ -3 +3 @@
 typedef float t;
 y z;
-otype u = struct { int a; double b; };
+type u = struct { int a; double b; };
 int f( int y );
 y q;
 
 y w( y y, u v ) {
-        otype x | { x t(u); };
+        type x | { x t(u); };
         u u = y;
         x z = t(u);
@@ -15 +15 @@
 y p;
 
-context has_u( otype z ) {
+context has_u( type z ) {
         z u(z);
 };
 
-forall( otype t | has_u( t ) )
+forall( type t | has_u( t ) )
 y q( t the_t ) {
         t y = u( the_t );