Changes in src/tests/Scope.c [62edde5:10dc7491]

File:

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

src/tests/Scope.c

@@ -3 +3 @@
 typedef float t;
 y z;
-type u = struct { int a; double b; };
+//otype u = struct { int a; double b; };
+typedef struct { int a; double b; } u;
 int f( int y );
 y q;
+struct x { int x; };
 
 y w( y y, u v ) {
-        type x | { x t(u); };
+//      otype x | { x t(u); };
+        void ?{}(struct x *);
+        void ^?{}(struct x *);
+        extern struct x t( u );
         u u = y;
-        x z = t(u);
+        struct x z = t(u);
 }
 
 y p;
 
-context has_u( type z ) {
+trait has_u( otype z ) {
         z u(z);
 };
 
-forall( type t | has_u( t ) )
+forall( otype t | has_u( t ) )
 y q( t the_t ) {
         t y = u( the_t );
@@ -40 +45 @@
 }
 
+void some_func() {}
+
 t g( void ) {
         typedef char x;
-        try {
+//      try {
                 some_func();
-        } catch ( x x ) {
-                t y = x;
-        }
+//      } catch ( x x ) {
+//              t y = x;
+//      }
         x z;
 }