Changes in src/tests/Context.c [a0dcd2e:e5b96bf]

File:

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

src/tests/Context.c

@@ -1 @@
-// trait declaration
+//cforall context declaration
 trait has_q( otype T ) {
         T q( T );
@@ -5 +5 @@
 
 forall( otype z | has_q( z ) ) void f() {
-        trait has_r( otype T, otype U ) {
+        context has_r( otype T, otype U ) {
                 T r( T, T (T,U) );
         };