Changeset dd3576b for libcfa/src/concurrency/mutex_stmt.hfa

Timestamp:

Feb 25, 2023, 8:12:47 AM (14 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master

Children:

b1ad41f

Parents:

f2a1cd2

Message:

update from old to new trait syntax using forall

File:

• libcfa/src/concurrency/mutex_stmt.hfa (modified) (1 diff)

libcfa/src/concurrency/mutex_stmt.hfa

@@ -4 +4 @@
 //-----------------------------------------------------------------------------
 // is_lock
-trait is_lock(L & | sized(L)) {
+forall(L & | sized(L))
+trait is_lock {
         // For acquiring a lock
         void lock( L & );