From efedec187cef6e422c4dbcd50454dd2e29f1a3f8 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Sun, 26 Oct 2014 11:40:12 +0000 Subject: an explicit SAVE instruction --- src/runtime/c/pgf/data.h | 27 ++++++++++++++------------- 1 file changed, 14 insertions(+), 13 deletions(-) (limited to 'src/runtime/c/pgf/data.h') diff --git a/src/runtime/c/pgf/data.h b/src/runtime/c/pgf/data.h index 154679ac8..864cf9b27 100644 --- a/src/runtime/c/pgf/data.h +++ b/src/runtime/c/pgf/data.h @@ -127,19 +127,20 @@ typedef enum { PGF_INSTR_CHECK_ARGS = 0, PGF_INSTR_CASE = 1, PGF_INSTR_CASE_LIT = 2, - PGF_INSTR_ALLOC = 3, - PGF_INSTR_PUT_CONSTR = 4, - PGF_INSTR_PUT_CLOSURE = 5, - PGF_INSTR_PUT_LIT = 6, - PGF_INSTR_SET = 7, - PGF_INSTR_SET_PAD = 8, - 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, + PGF_INSTR_SAVE = 3, + PGF_INSTR_ALLOC = 4, + PGF_INSTR_PUT_CONSTR = 5, + PGF_INSTR_PUT_CLOSURE = 6, + PGF_INSTR_PUT_LIT = 7, + PGF_INSTR_SET = 8, + PGF_INSTR_SET_PAD = 9, + PGF_INSTR_PUSH_FRAME = 10, + PGF_INSTR_PUSH = 11, + PGF_INSTR_EVAL = 12, + PGF_INSTR_DROP = 15, + PGF_INSTR_JUMP = 16, + PGF_INSTR_FAIL = 17, + PGF_INSTR_ADD = 18, } PgfInstruction; typedef GuSeq PgfConcrs; -- cgit v1.2.3