diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-03-26 09:51:48 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-04-30 09:44:24 +0200 |
| commit | 415c1dae83891f217952941b6bae3e0c7b027c76 (patch) | |
| tree | ccd040387eeb0ca1066d2c6a3c2aa12ad56ad4c4 /kernel/byterun/coq_values.c | |
| parent | 74f6c8c40942d57ea66d9f28bd15309ce59438b6 (diff) | |
Make the VM accumulator look like an OCaml block.
We allocate an additional header so that the accumulator is not a naked
pointer. Indeed, it is contained in accumulator blocks which are scanned by
the GC as their tags is 0.
Diffstat (limited to 'kernel/byterun/coq_values.c')
0 files changed, 0 insertions, 0 deletions