Scryer-prolog: "?- X = Y." gives the answer "true."

[stefan-kral]

... not the expected X = Y. (or, alternatively, Y = X.)

---

The binding appears to be present, as shown by the following snippet.

?- X = Y, X = 1.
X = 1, Y = 1 .

[mthom]

This should now work correctly.

[stefan-kral]

Really?

stefan@stefan-Swift-SF314-52G:~$ cargo install scryer-prolog
    Updating crates.io index
  Installing scryer-prolog v0.8.116
   Compiling libc v0.2.66
   Compiling cfg-if v0.1.10
   Compiling semver-parser v0.7.0
   Compiling autocfg v0.1.7
   Compiling ryu v1.0.2
   Compiling arrayvec v0.4.12
   Compiling bitflags v1.2.1
   Compiling nodrop v0.1.14
   Compiling memchr v2.2.1
   Compiling log v0.4.8
   Compiling void v1.0.2
   Compiling nix v0.14.1
   Compiling rug v1.6.0
   Compiling static_assertions v0.3.4
   Compiling nix v0.15.0
   Compiling unicode-segmentation v1.6.0
   Compiling utf8parse v0.1.1
   Compiling unicode-width v0.1.7
   Compiling numtoa v0.1.0
   Compiling ref_thread_local v0.0.0
   Compiling lazy_static v1.4.0
   Compiling downcast v0.10.0
   Compiling semver v0.9.0
   Compiling num-traits v0.2.10
   Compiling indexmap v1.3.0
   Compiling unreachable v1.0.0
   Compiling rustc_version v0.2.3
   Compiling scryer-prolog v0.8.116
   Compiling num-traits v0.1.43
   Compiling lexical-core v0.4.6
   Compiling lexical v2.2.2
   Compiling ordered-float v0.5.2
   Compiling dirs-sys v0.3.4
   Compiling termion v1.5.4
   Compiling dirs v2.0.2
   Compiling gmp-mpfr-sys v1.1.14
   Compiling rustyline v5.0.4
   Compiling prolog_parser v0.8.36
    Finished release [optimized] target(s) in 1m 41s
  Installing /home/stefan/.cargo/bin/scryer-prolog
   Installed package `scryer-prolog v0.8.116` (executable `scryer-prolog`)

stefan@stefan-Swift-SF314-52G:~$ uname -a
Linux stefan-Swift-SF314-52G 4.15.0-66-generic #75-Ubuntu SMP Tue Oct 1 05:24:09 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux
stefan@stefan-Swift-SF314-52G:~$ scryer-prolog
?- X = Y.
true.

[mthom]

I haven't published the latest commit to cargo yet, which is why you're not seeing a change. If you clone Scryer from Github and build the clone using cargo, you should see a change.

[triska]

@stefan-kral: If you run cargo build --release in the scryer-prolog git directory, then you get the latest version in scryer-prolog/target/release/scryer-prolog! I recommend to always use this to be up to date.

[stefan-kral]

Thank you!

(It's a shame I'm _still_ such a git-n00b.)

[UWN]

@stefan-kral : close!