Mercurial > hg > Gears > GearsAgda
view src/llrb/origin_cs.c @ 477:c3202635c20a
fix Stack.agda
author | ryokka |
---|---|
date | Thu, 28 Dec 2017 15:52:01 +0900 |
parents | 368306e1bfed |
children |
line wrap: on
line source
#include <stdlib.h> #include "llrbContext.h" __code meta(struct Context* context, enum Code next) { goto (context->code[next])(context); } __code start_code(struct Context* context, enum Code next) { goto meta(context, next); } __code exit_code(struct Context* context) { free(context->code); free(context->data); free(context->heapStart); goto exit(0); }