Mercurial > hg > Gears > GearsAgda
view src/include/origin_cs.h @ 15:907c69e21e56
modify allocate
author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 14 Apr 2015 03:37:22 +0900 |
parents | a765eb7f3b7c |
children | 868c2918b634 |
line wrap: on
line source
__code start_code(); __code exit_code(); __code start_code(struct Context* context, enum Code next) { goto meta(context, next); } __code exit_code(struct Context* context) { goto exit(0); }