From 33750f1e9cf151d64e77f73a0f632b6de586a30e Mon Sep 17 00:00:00 2001 From: Alice Frosi Date: Mon, 27 Feb 2023 13:21:39 +0100 Subject: seitan: add op_end The op_end signal to terminate reading the operations. This is useful for the introductions of branches for the matches. --- gluten.h | 1 + 1 file changed, 1 insertion(+) (limited to 'gluten.h') diff --git a/gluten.h b/gluten.h index 699d682..69a6b6b 100644 --- a/gluten.h +++ b/gluten.h @@ -51,6 +51,7 @@ enum op_type { OP_INJECT_A, OP_RETURN, OP_COPY_ARGS, + OP_END, }; enum value_type { -- cgit v1.2.3