Changeset d964c39 for tests/function-operator.cfa

Timestamp:

Feb 25, 2023, 6:45:44 PM (3 years ago)

Author:

caparson <caparson@…>

Branches:

ADT, ast-experimental, master

Children:

601bd9e

Parents:

ce44c5f (diff), 2d028003 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/function-operator.cfa (modified) (2 diffs)

tests/function-operator.cfa

@@ -10 +10 @@
 // Created On       : Fri Aug 25 15:21:11 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Apr 11 18:27:45 2019
-// Update Count     : 10
+// Last Modified On : Sat Feb 25 07:26:10 2023
+// Update Count     : 12
 //
 
@@ -22 +22 @@
 
 // STL-like Algorithms
-trait Assignable(T &, U &) { T ?=?(T &, U); };
-trait Copyable(T &) { void ?{}(T &, T); };
-trait Destructable(T &) { void ^?{}(T &); };
+forall(T &, U &)
+trait Assignable { T ?=?(T &, U); };
+forall(T &)
+trait Copyable { void ?{}(T &, T); };
+forall(T &)
+trait Destructable { void ^?{}(T &); };
 
 trait Iterator(iter & | sized(iter) | Copyable(iter) | Destructable(iter), T) {