diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-10-22 14:11:41 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-10-22 14:11:41 +0000 |
| commit | c8b3865338d3399dd983b36e1e0ad17f326bdd86 (patch) | |
| tree | f482e77513e5bcb4b2cdcaaa6471c3f1f87286e8 /src/runtime/c/pgf/data.h | |
| parent | 71d5cae4e3b1c2cdd155d472f84ac1e0aad1dae7 (diff) | |
an explicit PUSH_FRAME instruction
Diffstat (limited to 'src/runtime/c/pgf/data.h')
| -rw-r--r-- | src/runtime/c/pgf/data.h | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/runtime/c/pgf/data.h b/src/runtime/c/pgf/data.h index 2b11f24da..154679ac8 100644 --- a/src/runtime/c/pgf/data.h +++ b/src/runtime/c/pgf/data.h @@ -133,12 +133,13 @@ typedef enum { PGF_INSTR_PUT_LIT = 6, PGF_INSTR_SET = 7, PGF_INSTR_SET_PAD = 8, - PGF_INSTR_PUSH = 9, - PGF_INSTR_EVAL = 10, - PGF_INSTR_DROP = 13, - PGF_INSTR_JUMP = 14, - PGF_INSTR_FAIL = 15, - PGF_INSTR_ADD = 16 + PGF_INSTR_PUSH_FRAME = 9, + PGF_INSTR_PUSH = 10, + PGF_INSTR_EVAL = 11, + PGF_INSTR_DROP = 14, + PGF_INSTR_JUMP = 15, + PGF_INSTR_FAIL = 16, + PGF_INSTR_ADD = 17, } PgfInstruction; typedef GuSeq PgfConcrs; |