Changeset 9f1695b

Timestamp:

Mar 17, 2017, 10:46:48 AM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

17af7d1

Parents:

3743983

Message:

added destructor requirement to the is_thread trait

Location:

src/libcfa/concurrency

Files:

• invoke.c (modified) (1 diff)
• thread (modified) (2 diffs)
• thread.c (modified) (1 diff)

src/libcfa/concurrency/invoke.c

@@ -56 +56 @@
 
 void CtxInvokeThread(
+      void (*dtor)(void *), 
       void (*main)(void *), 
       struct thread_desc *(*get_thread)(void *), 

src/libcfa/concurrency/thread

@@ -28 +28 @@
 // Anything that is resumed is a coroutine.
 trait is_thread(dtype T) {
+      void ^?{}(T* this);
       void main(T* this);
       thread_desc* get_thread(T* this);
@@ -64 +65 @@
 void ?{}( scoped(T)* this, P params );
 
-forall( dtype T | sized(T) | is_thread(T) | { void ^?{}(T*); } )
+forall( dtype T | sized(T) | is_thread(T) )
 void ^?{}( scoped(T)* this );
 

src/libcfa/concurrency/thread.c

@@ -64 +64 @@
 }
 
-forall( dtype T | sized(T) | is_thread(T) | { void ^?{}(T*); } )
+forall( dtype T | sized(T) | is_thread(T) )
 void ^?{}( scoped(T)* this ) {
         stop(&this->handle);