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

File:

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

src/tests/Context.c

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