Changeset 6d2af204 for libcfa/src/concurrency/locks.hfa

Timestamp:

Feb 5, 2023, 11:42:15 AM (3 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master

Children:

8fa77eb

Parents:

9ef5516 (diff), 35d1de5 (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:

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

libcfa/src/concurrency/locks.hfa

@@ -640 +640 @@
 //-----------------------------------------------------------------------------
 // is_blocking_lock
-trait is_blocking_lock(L & | sized(L)) {
+forall( L & | sized(L) )
+trait is_blocking_lock {
         // For synchronization locks to use when acquiring
         void on_notify( L &, struct thread$ * );