Changeset 8a97248 for libcfa/src/concurrency/mutex.hfa

Timestamp:

Feb 3, 2023, 1:28:36 PM (18 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master

Children:

2125443a

Parents:

7a24d76

Message:

switch from old trait syntax to new trait syntax using forall clause

File:

• libcfa/src/concurrency/mutex.hfa (modified) (2 diffs)

libcfa/src/concurrency/mutex.hfa

@@ -12 +12 @@
 // Created On       : Fri May 25 01:24:09 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Dec  4 09:16:53 2019
-// Update Count     : 1
+// Last Modified On : Thu Feb  2 11:46:08 2023
+// Update Count     : 2
 //
 
@@ -70 +70 @@
 void unlock(recursive_mutex_lock & this) __attribute__((deprecated("use concurrency/locks.hfa instead")));
 
-trait is_lock(L & | sized(L)) {
+forall( L & | sized(L) )
+trait is_lock {
         void lock  (L &);
         void unlock(L &);