From 66a7040df6897e60ee1a513b95f4b04e687bbf0a Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Sat, 3 Jul 2021 20:59:27 +0000 Subject: Add one global choicestack so we don't need to pass it around --- dat.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'dat.h') diff --git a/dat.h b/dat.h index 9dac8d0..27ed5de 100644 --- a/dat.h +++ b/dat.h @@ -2,7 +2,7 @@ typedef struct Term Term; typedef struct Binding Binding; typedef struct Goal Goal; typedef struct Choicepoint Choicepoint; -typedef int (*Builtin)(Term *, Term *, Goal **, Choicepoint **, Binding **); +typedef int (*Builtin)(Term *, Term *, Goal **, Binding **); struct Term { @@ -66,3 +66,5 @@ enum { int flagdoublequotes; +/* Staate of the running system */ +Choicepoint *choicestack; \ No newline at end of file -- cgit v1.2.3