Mercurial > hg > Gears > GearsAgda
view src/include/allocate.h @ 310:782f4c560de4
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 14 Feb 2017 22:02:39 +0900 |
parents | 368306e1bfed |
children |
line wrap: on
line source
__code allocate(); __code meta_allocate(); __code allocate(struct Context* context) { goto meta_allocate(context); } __code meta_allocate(struct Context* context) { context->data[++context->dataNum] = context->heap; context->heap += context->data[0]->allocate.size; goto meta(context, context->next[--context->current]); }