Mercurial > hg > Gears > GearsAgda
comparison src/llrb/llrbContext.h @ 53:399ed10d1760
modify
author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 11 Jun 2015 15:08:38 +0900 |
parents | 348148d8fdb1 |
children | 0299b90256e5 |
comparison
equal
deleted
inserted
replaced
52:83ee9c75115a | 53:399ed10d1760 |
---|---|
32 Next, | 32 Next, |
33 }; | 33 }; |
34 | 34 |
35 struct Context { | 35 struct Context { |
36 int codeNum; | 36 int codeNum; |
37 __code (**code) (struct Context *); | 37 __code (**code) (struct Context*); |
38 void* heap_start; | 38 void* heap_start; |
39 void* heap; | 39 void* heap; |
40 long dataSize; | 40 long dataSize; |
41 int dataNum; | 41 int dataNum; |
42 union Data **data; | 42 union Data **data; |