Changeset 8fc9a5f for libcfa/src/concurrency

Timestamp:

Oct 8, 2020, 4:46:16 PM (4 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

40a1392, b3f9684c

Parents:

8e4bc30

Message:

Did some work the exception header to better fake associated types.

File:

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

libcfa/src/concurrency/coroutine.hfa

@@ -37 +37 @@
 // Anything that implements this trait can be resumed.
 // Anything that is resumed is a coroutine.
-trait is_coroutine(dtype T
-                | is_resumption_exception(CoroutineCancelled(T),
-                        CoroutineCancelled_vtable(T))) {
+trait is_coroutine(dtype T | IS_RESUMPTION_EXCEPTION(CoroutineCancelled, (T))) {
         void main(T & this);
         $coroutine * get_coroutine(T & this);