0597159 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

ThreadData only needed when pthread is enabled

0597159Jonas Claeson8 years ago

rts/idris_rts.c+1−1

@@ -781,6 +781,7 @@ VAL idris_systemInfo(VM* vm, VAL index) {

781 return MKSTR(vm, "");

782}

783

784+#ifdef HAS_PTHREAD

784typedef struct {

785typedef struct {

785 VM* vm; // thread's VM

786 VM* vm; // thread's VM

786 VM* callvm; // calling thread's VM

787 VM* callvm; // calling thread's VM

@@ -788,7 +789,6 @@ typedef struct {

788 VAL arg;

789 VAL arg;

789} ThreadData;

790} ThreadData;

790

791

791−#ifdef HAS_PTHREAD

792void* runThread(void* arg) {

793 ThreadData* td = (ThreadData*)arg;

794 VM* vm = td->vm;