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);
}