Mercurial > hg > Gears > GearsAgda

diff src/parallel_execution/stack.c @ 140:f31b4e4bf4bb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixes
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 09 Nov 2016 13:26:53 +0900
parents 04a2f486a30d
children 4f6a660c14a1
line wrap: on
line diff
--- a/src/parallel_execution/stack.c	Wed Nov 09 10:13:31 2016 +0900
+++ b/src/parallel_execution/stack.c	Wed Nov 09 13:26:53 2016 +0900
@@ -42,7 +42,7 @@
 __code pushSingleLinkedStack_stub(struct Context* context) {
     struct Element* element = &ALLOCATE(context, Element)->element;
     goto pushSingleLinkedStack(context,
-                               (struct SingleLinkedStack *)&context->data[Stack]->stack.stack,
+                               (struct SingleLinkedStack *)context->data[Stack]->stack.stack->stack.stack,
                                element,
                                context->data[Stack]->stack.data,
                                context->data[Stack]->stack.next);
@@ -60,7 +60,7 @@
 
 __code popSingleLinkedStack_stub(struct Context* context) {
     goto popSingleLinkedStack(context,
-                               (struct SingleLinkedStack *)context->data[Stack]->stack.stack,
+                               (struct SingleLinkedStack *)context->data[Stack]->stack.stack->stack.stack,
                                &context->data[Stack]->stack.data,
                                context->data[Stack]->stack.next);
 }
@@ -83,7 +83,7 @@
 
 __code pop2SingleLinkedStack_stub(struct Context* context) {
     goto pop2SingleLinkedStack(context,
-                               (struct SingleLinkedStack *)context->data[Stack]->stack.stack,
+                               (struct SingleLinkedStack *)context->data[Stack]->stack.stack->stack.stack,
                                &context->data[Stack]->stack.data,
                                &context->data[Stack]->stack.data1,
                                context->data[Stack]->stack.next);
@@ -96,7 +96,7 @@
 
 __code getSingleLinkedStack_stub(struct Context* context) {
     goto getSingleLinkedStack(context,
-                               (struct SingleLinkedStack *)context->data[Stack]->stack.stack,
+                               (struct SingleLinkedStack *)context->data[Stack]->stack.stack->stack.stack,
                                &context->data[Stack]->stack.data,
                                context->data[Stack]->stack.next);
 }
@@ -111,13 +111,14 @@
         }
     } else {
         *data = NULL;
+        *data1 = NULL;
     }
     goto meta(context, next);
 }
 
 __code get2SingleLinkedStack_stub(struct Context* context) {
     goto get2SingleLinkedStack(context,
-                               (struct SingleLinkedStack *)context->data[Stack]->stack.stack,
+                               (struct SingleLinkedStack *)context->data[Stack]->stack.stack->stack.stack,
                                &context->data[Stack]->stack.data,
                                &context->data[Stack]->stack.data1,
                                context->data[Stack]->stack.next);
@@ -132,7 +133,7 @@
 
 __code isEmptySingleLinkedStack_stub(struct Context* context) {
     goto isEmptySingleLinkedStack(context,
-                               (struct SingleLinkedStack *)context->data[Stack]->stack.stack,
+                               (struct SingleLinkedStack *)context->data[Stack]->stack.stack->stack.stack,
                                context->data[Stack]->stack.next,
                                context->data[Stack]->stack.whenEmpty);
 }