Mercurial > hg > Gears > GearsAgda
view src/llrb/origin_cs.c @ 69:368306e1bfed
llrb deletion(not work).
author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 20 Oct 2015 16:22:42 +0900 |
parents | |
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); }