update prolog_parser to v0.8.33

diff --git a/Cargo.toml b/Cargo.toml
index ba5d76cf06f8eb7a89bfc9d606ba8667731637f9..75d3dbc0bf85dad150df6cccc298d28d7ddc3123 100644 (file)
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "scryer-prolog"
-version = "0.8.102"
+version = "0.8.103"
 authors = ["Mark Thom <[email protected]>"]
 build = "build.rs"
 repository = "https://github.com/mthom/scryer-prolog"
@@ -18,7 +18,7 @@ lazy_static = "1.4.0"
 libc = "0.2.62"
 nix = "0.15.0"
 ordered-float = "0.5.0"
-prolog_parser = "0.8.32"
+prolog_parser = "0.8.33"
 ref_thread_local = "0.0.0"
 rug = "1.4.0"
 rustyline = "5.0.3"

diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl
index b2898af04968838cb49449fcea62b7c420d8ab39..b733c94d5c6aa0b1677c763230b699f2173a9650 100644 (file)
--- a/src/prolog/lib/builtins.pl
+++ b/src/prolog/lib/builtins.pl
@@ -48,7 +48,7 @@ expand_op_list([Op | OtherOps], Pred, Spec, [(:- op(Pred, Spec, Op)) | OtherResu
 :- op(700, xfx, [==, \==, @=<, @>=, @<, @>]).
 
 % the maximum arity flag. needs to be replaced with current_prolog_flag(max_arity, MAX_ARITY).
-max_arity(63).
+max_arity(255).
 
 % conditional operators.
 :- op(1050, xfy, ->).

diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index 713a8a01ffb9b8eb3b27514b01783d9b8f90026d..e7abc19b66bbf992538b221fb273d5185f0d9533 100644 (file)
--- a/src/prolog/machine/machine_state_impl.rs
+++ b/src/prolog/machine/machine_state_impl.rs
@@ -3416,7 +3416,7 @@ impl MachineState {
         self.mode = MachineMode::Write;
         self.and_stack.clear();
         self.or_stack.clear();
-        self.registers = vec![Addr::HeapCell(0); 64];
+        self.registers = vec![Addr::HeapCell(0); MAX_ARITY + 1]; // self.registers[0] is never used.
         self.block = 0;
 
         self.ball.reset();