Mercurial > hg > Gears > GearsAgda
view src/parallel_execution/stack.h @ 140:f31b4e4bf4bb
fixes
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 09 Nov 2016 13:26:53 +0900 |
parents | 7c309e1aea73 |
children | cc071cf1ba85 |
line wrap: on
line source
extern union Data* createSingleLinkedStack(struct Context* context); extern __code pushSingleLinkedStack_stub(struct Context* context) ; extern __code popSingleLinkedStack_stub(struct Context* context) ; extern __code pop2SingleLinkedStack_stub(struct Context* context) ; extern __code getSingleLinkedStack_stub(struct Context* context) ; extern __code get2SingleLinkedStack_stub(struct Context* context) ; extern __code isEmptySingleLinkedStack_stub(struct Context* context) ;