rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update prolog_parser to v0.8.33

Browse Source
This commit is contained in:
Mark Thom
2019-10-06 12:02:47 -06:00
parent 93d1cd1b09
commit 673fb31ae2
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Cargo.toml
View File

@@ -1,6 +1,6 @@
[package] [package]
name = "scryer-prolog" name = "scryer-prolog"
version = "0.8.102" version = "0.8.103"
authors = ["Mark Thom <markjordanthom@gmail.com>"] authors = ["Mark Thom <markjordanthom@gmail.com>"]
build = "build.rs" build = "build.rs"
repository = "https://github.com/mthom/scryer-prolog" repository = "https://github.com/mthom/scryer-prolog"
@@ -18,7 +18,7 @@ lazy_static = "1.4.0"
libc = "0.2.62" libc = "0.2.62"
nix = "0.15.0" nix = "0.15.0"
ordered-float = "0.5.0" ordered-float = "0.5.0"
prolog_parser = "0.8.32" prolog_parser = "0.8.33"
ref_thread_local = "0.0.0" ref_thread_local = "0.0.0"
rug = "1.4.0" rug = "1.4.0"
rustyline = "5.0.3" rustyline = "5.0.3"

2
src/prolog/lib/builtins.pl
View File

@@ -48,7 +48,7 @@ expand_op_list([Op | OtherOps], Pred, Spec, [(:- op(Pred, Spec, Op)) | OtherResu
:- op(700, xfx, [==, \==, @=<, @>=, @<, @>]). :- op(700, xfx, [==, \==, @=<, @>=, @<, @>]).
% the maximum arity flag. needs to be replaced with current_prolog_flag(max_arity, MAX_ARITY). % the maximum arity flag. needs to be replaced with current_prolog_flag(max_arity, MAX_ARITY).
max_arity(63). max_arity(255).
% conditional operators. % conditional operators.
:- op(1050, xfy, ->). :- op(1050, xfy, ->).

2
src/prolog/machine/machine_state_impl.rs
View File

@@ -3416,7 +3416,7 @@ impl MachineState {
self.mode = MachineMode::Write; self.mode = MachineMode::Write;
self.and_stack.clear(); self.and_stack.clear();
self.or_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.block = 0;
self.ball.reset(); self.ball.reset();