Mercurial > hg > Gears > GearsAgda
view src/parallel_execution/Stack.cbc @ 452:1432d924c472
fix RedBlackTree.cbc Insert, debug now
author | ryokka |
---|---|
date | Fri, 08 Dec 2017 15:28:06 +0900 |
parents | 0c113f8e5a3f |
children |
line wrap: on
line source
typedef struct Stack<Type, Impl>{ union Data* stack; union Data* data; union Data* data1; /* Type* stack; */ /* Type* data; */ /* Type* data1; */ __code whenEmpty(...); __code clear(Impl* stack,__code next(...)); __code push(Impl* stack,Type* data, __code next(...)); __code pop(Impl* stack, __code next(Type* data, ...)); __code pop2(Impl* stack, __code next(Type* data, Type* data1, ...)); __code isEmpty(Impl* stack, __code next(...), __code whenEmpty(...)); __code get(Impl* stack, __code next(Type* data, ...)); __code get2(Impl* stack, __code next(Type* data, Type* data1, ...)); __code next(...); } Stack;