Mercurial > hg > Gears > GearsAgda

annotate src/include/context.h @ 477:c3202635c20a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix Stack.agda
author ryokka
date Thu, 28 Dec 2017 15:52:01 +0900
parents a765eb7f3b7c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
13
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 typedef struct Context_st {
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 void* ds;
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 void* mds;
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 void* ds_heap;
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 void* mds_heap;
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 __code (*next)();
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 void* head;
a765eb7f3b7c implement delete, traverse
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 } Context;