From 673fb31ae28475d859c8fc57ca4804cbbd25a0cf Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 6 Oct 2019 12:02:47 -0600 Subject: [PATCH] update prolog_parser to v0.8.33 --- Cargo.toml | 4 ++-- src/prolog/lib/builtins.pl | 2 +- src/prolog/machine/machine_state_impl.rs | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index ba5d76cf..75d3dbc0 100644 --- 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 "] 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 b2898af0..b733c94d 100644 --- 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 713a8a01..e7abc19b 100644 --- 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(); -- 2.54.0