[INFO] crate scryer-prolog 0.8.53 is already in cache [INFO] extracting crate scryer-prolog 0.8.53 into work/ex/pr-60914/sources/master#39401465da4ce27aeeb2c2a26133ac35c63aa515/reg/scryer-prolog/0.8.53 [INFO] extracting crate scryer-prolog 0.8.53 into work/ex/pr-60914/sources/try#f45cc3094ee337acd688771b9234318046b0572d/reg/scryer-prolog/0.8.53 [INFO] validating manifest of scryer-prolog-0.8.53 on toolchain master#39401465da4ce27aeeb2c2a26133ac35c63aa515 [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+39401465da4ce27aeeb2c2a26133ac35c63aa515-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of scryer-prolog-0.8.53 on toolchain try#f45cc3094ee337acd688771b9234318046b0572d [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+f45cc3094ee337acd688771b9234318046b0572d-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing scryer-prolog-0.8.53 [INFO] finished frobbing scryer-prolog-0.8.53 [INFO] frobbed toml for scryer-prolog-0.8.53 written to work/ex/pr-60914/sources/master#39401465da4ce27aeeb2c2a26133ac35c63aa515/reg/scryer-prolog/0.8.53/Cargo.toml [INFO] started frobbing scryer-prolog-0.8.53 [INFO] finished frobbing scryer-prolog-0.8.53 [INFO] frobbed toml for scryer-prolog-0.8.53 written to work/ex/pr-60914/sources/try#f45cc3094ee337acd688771b9234318046b0572d/reg/scryer-prolog/0.8.53/Cargo.toml [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+39401465da4ce27aeeb2c2a26133ac35c63aa515-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+f45cc3094ee337acd688771b9234318046b0572d-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+39401465da4ce27aeeb2c2a26133ac35c63aa515-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+f45cc3094ee337acd688771b9234318046b0572d-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] checking scryer-prolog-0.8.53 against master#39401465da4ce27aeeb2c2a26133ac35c63aa515 for pr-60914 [INFO] running `"docker" "create" "-v" "/mnt/crater-raid/crater/work/local/target-dirs/pr-60914/worker-5/master#39401465da4ce27aeeb2c2a26133ac35c63aa515:/opt/crater/target:rw,Z" "-v" "/mnt/crater-raid/crater/work/ex/pr-60914/sources/master#39401465da4ce27aeeb2c2a26133ac35c63aa515/reg/scryer-prolog/0.8.53:/opt/crater/workdir:ro,Z" "-v" "/mnt/crater-raid/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/crater-raid/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+39401465da4ce27aeeb2c2a26133ac35c63aa515-alt" "check" "--frozen" "--all" "--all-targets"` [INFO] [stdout] 0c99a26d0c06b2401b87241ae037d508b7fcce807d0ee77fd3c37c8858fd2b38 [INFO] running `"docker" "start" "-a" "0c99a26d0c06b2401b87241ae037d508b7fcce807d0ee77fd3c37c8858fd2b38"` [INFO] [stderr] Blocking waiting for file lock on package cache lock [INFO] [stderr] Compiling rug v1.4.0 [INFO] [stderr] Compiling readline_rs_compat v0.1.9 [INFO] [stderr] Checking ref_thread_local v0.0.0 [INFO] [stderr] Checking downcast v0.10.0 [INFO] [stderr] Checking stackvector v1.0.2 [INFO] [stderr] Compiling gmp-mpfr-sys v1.1.13 [INFO] [stderr] Checking lexical-core v0.4.0 [INFO] [stderr] Checking lexical v2.1.0 [INFO] [stderr] Checking prolog_parser v0.8.27 [INFO] [stderr] Checking scryer-prolog v0.8.53 (/opt/crater/workdir) [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:50:40 [INFO] [stderr] | [INFO] [stderr] 50 | Addr::Con(Constant::Number(Number::Integer(arity))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:195:40 [INFO] [stderr] | [INFO] [stderr] 195 | Addr::Con(Constant::Number(Number::Integer(n))) => n.to_usize().unwrap(), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:230:40 [INFO] [stderr] | [INFO] [stderr] 230 | Addr::Con(Constant::Number(Number::Integer(n))) => n.to_usize().unwrap(), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error: cannot find macro `integer!` in this scope [INFO] [stderr] --> src/prolog/macros.rs:15:39 [INFO] [stderr] | [INFO] [stderr] 15 | HeapCellValue::Addr(Addr::Con(integer!($i))) [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/prolog/machine/machine_errors.rs:25:33 [INFO] [stderr] | [INFO] [stderr] 25 | functor!("/", 2, [name, heap_integer!(arity)], SharedOpDesc::new(400, YFX)) [INFO] [stderr] | -------------------- in this macro invocation [INFO] [stderr] [INFO] [stderr] error: cannot find macro `integer!` in this scope [INFO] [stderr] --> src/prolog/macros.rs:15:39 [INFO] [stderr] | [INFO] [stderr] 15 | HeapCellValue::Addr(Addr::Con(integer!($i))) [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/prolog/machine/machine_errors.rs:49:44 [INFO] [stderr] | [INFO] [stderr] 49 | heap_integer!(arity)], [INFO] [stderr] | -------------------- in this macro invocation [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/toplevel.rs:145:44 [INFO] [stderr] | [INFO] [stderr] 145 | Term::Constant(_, Constant::Number(Number::Integer(bi))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error: cannot find macro `integer!` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2025:31 [INFO] [stderr] | [INFO] [stderr] 2025 | let arity = Addr::Con(integer!(arity)); [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `integer!` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2038:65 [INFO] [stderr] | [INFO] [stderr] 2038 | self.try_functor_unify_components(a1, Addr::Con(integer!(0))), [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `integer!` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2074:76 [INFO] [stderr] | [INFO] [stderr] 2074 | Addr::Con(integer!(arity))); [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:64:27 [INFO] [stderr] | [INFO] [stderr] 64 | interms: vec![Number::default(); 256], [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:94:27 [INFO] [stderr] | [INFO] [stderr] 94 | interms: vec![Number::default(); 0], [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:329:64 [INFO] [stderr] | [INFO] [stderr] 329 | HeapCellValue::Addr(Addr::Con(Constant::Number(Number::Integer(n)))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:693:13 [INFO] [stderr] | [INFO] [stderr] 693 | Number::Rational(r) => Ok(r), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:694:13 [INFO] [stderr] | [INFO] [stderr] 694 | Number::Float(fl) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:700:13 [INFO] [stderr] | [INFO] [stderr] 700 | Number::Integer(bi) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:742:42 [INFO] [stderr] | [INFO] [stderr] 742 | let result = Number::Rational(self.rdiv(r1, r2)?); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:745:47 [INFO] [stderr] | [INFO] [stderr] 745 | "//" => interms.push(Number::Integer(self.idiv(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:746:47 [INFO] [stderr] | [INFO] [stderr] 746 | "div" => interms.push(Number::Integer(self.fidiv(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:747:47 [INFO] [stderr] | [INFO] [stderr] 747 | ">>" => interms.push(Number::Integer(self.shr(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:748:47 [INFO] [stderr] | [INFO] [stderr] 748 | "<<" => interms.push(Number::Integer(self.shl(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:749:47 [INFO] [stderr] | [INFO] [stderr] 749 | "/\\" => interms.push(Number::Integer(self.and(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:750:47 [INFO] [stderr] | [INFO] [stderr] 750 | "\\/" => interms.push(Number::Integer(self.or(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:751:47 [INFO] [stderr] | [INFO] [stderr] 751 | "xor" => interms.push(Number::Integer(self.xor(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:752:47 [INFO] [stderr] | [INFO] [stderr] 752 | "mod" => interms.push(Number::Integer(self.modulus(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:753:47 [INFO] [stderr] | [INFO] [stderr] 753 | "rem" => interms.push(Number::Integer(self.remainder(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:50:40 [INFO] [stderr] | [INFO] [stderr] 50 | Addr::Con(Constant::Number(Number::Integer(arity))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:195:40 [INFO] [stderr] | [INFO] [stderr] 195 | Addr::Con(Constant::Number(Number::Integer(n))) => n.to_usize().unwrap(), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:230:40 [INFO] [stderr] | [INFO] [stderr] 230 | Addr::Con(Constant::Number(Number::Integer(n))) => n.to_usize().unwrap(), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error: cannot find macro `integer!` in this scope [INFO] [stderr] --> src/prolog/macros.rs:15:39 [INFO] [stderr] | [INFO] [stderr] 15 | HeapCellValue::Addr(Addr::Con(integer!($i))) [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/prolog/machine/machine_errors.rs:25:33 [INFO] [stderr] | [INFO] [stderr] 25 | functor!("/", 2, [name, heap_integer!(arity)], SharedOpDesc::new(400, YFX)) [INFO] [stderr] | -------------------- in this macro invocation [INFO] [stderr] [INFO] [stderr] error: cannot find macro `integer!` in this scope [INFO] [stderr] --> src/prolog/macros.rs:15:39 [INFO] [stderr] | [INFO] [stderr] 15 | HeapCellValue::Addr(Addr::Con(integer!($i))) [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/prolog/machine/machine_errors.rs:49:44 [INFO] [stderr] | [INFO] [stderr] 49 | heap_integer!(arity)], [INFO] [stderr] | -------------------- in this macro invocation [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/toplevel.rs:145:44 [INFO] [stderr] | [INFO] [stderr] 145 | Term::Constant(_, Constant::Number(Number::Integer(bi))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:794:14 [INFO] [stderr] | [INFO] [stderr] 794 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:794:35 [INFO] [stderr] | [INFO] [stderr] 794 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:800:14 [INFO] [stderr] | [INFO] [stderr] 800 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error: cannot find macro `integer!` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2025:31 [INFO] [stderr] | [INFO] [stderr] 2025 | let arity = Addr::Con(integer!(arity)); [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `integer!` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2038:65 [INFO] [stderr] | [INFO] [stderr] 2038 | self.try_functor_unify_components(a1, Addr::Con(integer!(0))), [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `integer!` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2074:76 [INFO] [stderr] | [INFO] [stderr] 2074 | Addr::Con(integer!(arity))); [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:64:27 [INFO] [stderr] | [INFO] [stderr] 64 | interms: vec![Number::default(); 256], [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:94:27 [INFO] [stderr] | [INFO] [stderr] 94 | interms: vec![Number::default(); 0], [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:329:64 [INFO] [stderr] | [INFO] [stderr] 329 | HeapCellValue::Addr(Addr::Con(Constant::Number(Number::Integer(n)))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:693:13 [INFO] [stderr] | [INFO] [stderr] 693 | Number::Rational(r) => Ok(r), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:694:13 [INFO] [stderr] | [INFO] [stderr] 694 | Number::Float(fl) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:700:13 [INFO] [stderr] | [INFO] [stderr] 700 | Number::Integer(bi) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:816:14 [INFO] [stderr] | [INFO] [stderr] 816 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:816:35 [INFO] [stderr] | [INFO] [stderr] 816 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:822:14 [INFO] [stderr] | [INFO] [stderr] 822 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:742:42 [INFO] [stderr] | [INFO] [stderr] 742 | let result = Number::Rational(self.rdiv(r1, r2)?); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:745:47 [INFO] [stderr] | [INFO] [stderr] 745 | "//" => interms.push(Number::Integer(self.idiv(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:746:47 [INFO] [stderr] | [INFO] [stderr] 746 | "div" => interms.push(Number::Integer(self.fidiv(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:747:47 [INFO] [stderr] | [INFO] [stderr] 747 | ">>" => interms.push(Number::Integer(self.shr(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:748:47 [INFO] [stderr] | [INFO] [stderr] 748 | "<<" => interms.push(Number::Integer(self.shl(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:749:47 [INFO] [stderr] | [INFO] [stderr] 749 | "/\\" => interms.push(Number::Integer(self.and(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:750:47 [INFO] [stderr] | [INFO] [stderr] 750 | "\\/" => interms.push(Number::Integer(self.or(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:751:47 [INFO] [stderr] | [INFO] [stderr] 751 | "xor" => interms.push(Number::Integer(self.xor(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:752:47 [INFO] [stderr] | [INFO] [stderr] 752 | "mod" => interms.push(Number::Integer(self.modulus(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:753:47 [INFO] [stderr] | [INFO] [stderr] 753 | "rem" => interms.push(Number::Integer(self.remainder(a1, a2)?)), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:794:14 [INFO] [stderr] | [INFO] [stderr] 794 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:794:35 [INFO] [stderr] | [INFO] [stderr] 794 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:800:14 [INFO] [stderr] | [INFO] [stderr] 800 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:816:14 [INFO] [stderr] | [INFO] [stderr] 816 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:816:35 [INFO] [stderr] | [INFO] [stderr] 816 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:822:14 [INFO] [stderr] | [INFO] [stderr] 822 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:861:14 [INFO] [stderr] | [INFO] [stderr] 861 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:861:35 [INFO] [stderr] | [INFO] [stderr] 861 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:866:14 [INFO] [stderr] | [INFO] [stderr] 866 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:882:14 [INFO] [stderr] | [INFO] [stderr] 882 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:882:35 [INFO] [stderr] | [INFO] [stderr] 882 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:887:14 [INFO] [stderr] | [INFO] [stderr] 887 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:861:14 [INFO] [stderr] | [INFO] [stderr] 861 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:861:35 [INFO] [stderr] | [INFO] [stderr] 861 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:866:14 [INFO] [stderr] | [INFO] [stderr] 866 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:903:14 [INFO] [stderr] | [INFO] [stderr] 903 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:903:35 [INFO] [stderr] | [INFO] [stderr] 903 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:905:14 [INFO] [stderr] | [INFO] [stderr] 905 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:882:14 [INFO] [stderr] | [INFO] [stderr] 882 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:882:35 [INFO] [stderr] | [INFO] [stderr] 882 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:887:14 [INFO] [stderr] | [INFO] [stderr] 887 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:921:14 [INFO] [stderr] | [INFO] [stderr] 921 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:921:35 [INFO] [stderr] | [INFO] [stderr] 921 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:923:14 [INFO] [stderr] | [INFO] [stderr] 923 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:903:14 [INFO] [stderr] | [INFO] [stderr] 903 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:903:35 [INFO] [stderr] | [INFO] [stderr] 903 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:905:14 [INFO] [stderr] | [INFO] [stderr] 905 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:939:14 [INFO] [stderr] | [INFO] [stderr] 939 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:939:35 [INFO] [stderr] | [INFO] [stderr] 939 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:946:14 [INFO] [stderr] | [INFO] [stderr] 946 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:921:14 [INFO] [stderr] | [INFO] [stderr] 921 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:921:35 [INFO] [stderr] | [INFO] [stderr] 921 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:923:14 [INFO] [stderr] | [INFO] [stderr] 923 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:939:14 [INFO] [stderr] | [INFO] [stderr] 939 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:939:35 [INFO] [stderr] | [INFO] [stderr] 939 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:946:14 [INFO] [stderr] | [INFO] [stderr] 946 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:966:14 [INFO] [stderr] | [INFO] [stderr] 966 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:966:35 [INFO] [stderr] | [INFO] [stderr] 966 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:973:14 [INFO] [stderr] | [INFO] [stderr] 973 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:989:14 [INFO] [stderr] | [INFO] [stderr] 989 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:989:35 [INFO] [stderr] | [INFO] [stderr] 989 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:991:14 [INFO] [stderr] | [INFO] [stderr] 991 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1052:39 [INFO] [stderr] | [INFO] [stderr] 1052 | self.interms[t - 1] = Number::Rational(try_or_fail!(self, self.rdiv(r1, r2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1059:39 [INFO] [stderr] | [INFO] [stderr] 1059 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.fidiv(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1066:39 [INFO] [stderr] | [INFO] [stderr] 1066 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.idiv(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1092:39 [INFO] [stderr] | [INFO] [stderr] 1092 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.shr(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1099:39 [INFO] [stderr] | [INFO] [stderr] 1099 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.shl(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1106:39 [INFO] [stderr] | [INFO] [stderr] 1106 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.xor(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1113:39 [INFO] [stderr] | [INFO] [stderr] 1113 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.and(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1120:39 [INFO] [stderr] | [INFO] [stderr] 1120 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.or(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1127:39 [INFO] [stderr] | [INFO] [stderr] 1127 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.modulus(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1134:39 [INFO] [stderr] | [INFO] [stderr] 1134 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.remainder(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1620:40 [INFO] [stderr] | [INFO] [stderr] 1620 | Addr::Con(Constant::Number(Number::Integer(n))) => { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1623:56 [INFO] [stderr] | [INFO] [stderr] 1623 | let n = Addr::Con(Constant::Number(Number::Integer(n))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1940:48 [INFO] [stderr] | [INFO] [stderr] 1940 | Addr::Con(Constant::Number(Number::Integer(_))) => self.p += 1, [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1942:48 [INFO] [stderr] | [INFO] [stderr] 1942 | Addr::Con(Constant::Number(Number::Rational(r))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1963:48 [INFO] [stderr] | [INFO] [stderr] 1963 | Addr::Con(Constant::Number(Number::Float(_))) => self.p += 1, [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1971:48 [INFO] [stderr] | [INFO] [stderr] 1971 | Addr::Con(Constant::Number(Number::Rational(_))) => self.p += 1, [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2058:51 [INFO] [stderr] | [INFO] [stderr] 2058 | if let Addr::Con(Constant::Number(Number::Integer(arity))) = arity { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error: cannot find macro `integer!` in this scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:112:30 [INFO] [stderr] | [INFO] [stderr] 112 | self.unify(Addr::Con(integer!(n)), target_n); [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:124:40 [INFO] [stderr] | [INFO] [stderr] 124 | Addr::Con(Constant::Number(Number::Integer(ref max_steps))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:129:52 [INFO] [stderr] | [INFO] [stderr] 129 | Addr::Con(Constant::Number(Number::Integer(ref n))) if n.is_zero() => { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:473:27 [INFO] [stderr] | [INFO] [stderr] 473 | let len = Number::Integer(Rc::new(BigInt::from_usize(atom.as_str().len()).unwrap())); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:518:56 [INFO] [stderr] | [INFO] [stderr] 518 | Addr::Con(Constant::Number(Number::Integer(n))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:830:45 [INFO] [stderr] | [INFO] [stderr] 830 | let arity = Number::Integer(Rc::new(BigInt::from_usize(arity).unwrap())); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:870:42 [INFO] [stderr] | [INFO] [stderr] 870 | let a2 = Number::Integer(Rc::new(BigInt::from_usize(priority).unwrap())); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:895:48 [INFO] [stderr] | [INFO] [stderr] 895 | Addr::Con(Constant::Number(Number::Integer(n))) => n.to_usize().unwrap(), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:1114:49 [INFO] [stderr] | [INFO] [stderr] 1114 | Addr::Con(Constant::Number(Number::Integer(n)))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:1118:72 [INFO] [stderr] | [INFO] [stderr] 1118 | let count = Addr::Con(Constant::Number(Number::Integer(count))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:1230:68 [INFO] [stderr] | [INFO] [stderr] 1230 | let count = Addr::Con(Constant::Number(Number::Integer(count))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:966:14 [INFO] [stderr] | [INFO] [stderr] 966 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:966:35 [INFO] [stderr] | [INFO] [stderr] 966 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:973:14 [INFO] [stderr] | [INFO] [stderr] 973 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/codegen.rs:360:57 [INFO] [stderr] | [INFO] [stderr] 360 | &Term::Constant(_, Constant::Number(Number::Rational(_))) => { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/codegen.rs:373:57 [INFO] [stderr] | [INFO] [stderr] 373 | &Term::Constant(_, Constant::Number(Number::Float(_))) => { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/codegen.rs:413:57 [INFO] [stderr] | [INFO] [stderr] 413 | | &Term::Constant(_, Constant::Number(Number::Integer(_))) => { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/heap_print.rs:245:40 [INFO] [stderr] | [INFO] [stderr] 245 | Addr::Con(Constant::Number(Number::Integer(ref n))) [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:989:14 [INFO] [stderr] | [INFO] [stderr] 989 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:989:35 [INFO] [stderr] | [INFO] [stderr] 989 | (Number::Integer(n1), Number::Integer(n2)) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:991:14 [INFO] [stderr] | [INFO] [stderr] 991 | (Number::Integer(_), n2) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1052:39 [INFO] [stderr] | [INFO] [stderr] 1052 | self.interms[t - 1] = Number::Rational(try_or_fail!(self, self.rdiv(r1, r2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1059:39 [INFO] [stderr] | [INFO] [stderr] 1059 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.fidiv(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1066:39 [INFO] [stderr] | [INFO] [stderr] 1066 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.idiv(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1092:39 [INFO] [stderr] | [INFO] [stderr] 1092 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.shr(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1099:39 [INFO] [stderr] | [INFO] [stderr] 1099 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.shl(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1106:39 [INFO] [stderr] | [INFO] [stderr] 1106 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.xor(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1113:39 [INFO] [stderr] | [INFO] [stderr] 1113 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.and(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1120:39 [INFO] [stderr] | [INFO] [stderr] 1120 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.or(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1127:39 [INFO] [stderr] | [INFO] [stderr] 1127 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.modulus(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1134:39 [INFO] [stderr] | [INFO] [stderr] 1134 | self.interms[t - 1] = Number::Integer(try_or_fail!(self, self.remainder(n1, n2))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/heap_print.rs:662:13 [INFO] [stderr] | [INFO] [stderr] 662 | Number::Float(fl) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1620:40 [INFO] [stderr] | [INFO] [stderr] 1620 | Addr::Con(Constant::Number(Number::Integer(n))) => { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1623:56 [INFO] [stderr] | [INFO] [stderr] 1623 | let n = Addr::Con(Constant::Number(Number::Integer(n))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/clause_types.rs:59:12 [INFO] [stderr] | [INFO] [stderr] 59 | Number(Number) [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 59 | Number(prolog::clause_types::ArithmeticTerm) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state.rs:236:29 [INFO] [stderr] | [INFO] [stderr] 236 | pub(super) interms: Vec, // intermediate numbers. [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 236 | pub(super) interms: Vec, // intermediate numbers. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:679:68 [INFO] [stderr] | [INFO] [stderr] 679 | pub(super) fn get_number(&self, at: &ArithmeticTerm) -> Result { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 679 | pub(super) fn get_number(&self, at: &ArithmeticTerm) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:717:71 [INFO] [stderr] | [INFO] [stderr] 717 | pub(super) fn arith_eval_by_metacall(&self, r: RegType) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 717 | pub(super) fn arith_eval_by_metacall(&self, r: RegType) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:722:30 [INFO] [stderr] | [INFO] [stderr] 722 | let mut interms: Vec = Vec::with_capacity(64); [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 722 | let mut interms: Vec = Vec::with_capacity(64); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:789:25 [INFO] [stderr] | [INFO] [stderr] 789 | fn fidiv(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 789 | fn fidiv(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:789:37 [INFO] [stderr] | [INFO] [stderr] 789 | fn fidiv(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 789 | fn fidiv(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:811:24 [INFO] [stderr] | [INFO] [stderr] 811 | fn idiv(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 811 | fn idiv(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:811:36 [INFO] [stderr] | [INFO] [stderr] 811 | fn idiv(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 811 | fn idiv(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:833:23 [INFO] [stderr] | [INFO] [stderr] 833 | fn div(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 833 | fn div(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:833:35 [INFO] [stderr] | [INFO] [stderr] 833 | fn div(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 833 | fn div(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:833:53 [INFO] [stderr] | [INFO] [stderr] 833 | fn div(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 833 | fn div(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:844:23 [INFO] [stderr] | [INFO] [stderr] 844 | fn pow(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 844 | fn pow(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:844:35 [INFO] [stderr] | [INFO] [stderr] 844 | fn pow(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 844 | fn pow(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:844:53 [INFO] [stderr] | [INFO] [stderr] 844 | fn pow(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 844 | fn pow(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:856:23 [INFO] [stderr] | [INFO] [stderr] 856 | fn shr(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 856 | fn shr(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:856:35 [INFO] [stderr] | [INFO] [stderr] 856 | fn shr(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 856 | fn shr(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:877:23 [INFO] [stderr] | [INFO] [stderr] 877 | fn shl(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 877 | fn shl(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:877:35 [INFO] [stderr] | [INFO] [stderr] 877 | fn shl(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 877 | fn shl(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:898:23 [INFO] [stderr] | [INFO] [stderr] 898 | fn xor(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 898 | fn xor(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:898:35 [INFO] [stderr] | [INFO] [stderr] 898 | fn xor(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 898 | fn xor(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:916:23 [INFO] [stderr] | [INFO] [stderr] 916 | fn and(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 916 | fn and(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:916:35 [INFO] [stderr] | [INFO] [stderr] 916 | fn and(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 916 | fn and(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:934:27 [INFO] [stderr] | [INFO] [stderr] 934 | fn modulus(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 934 | fn modulus(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:934:39 [INFO] [stderr] | [INFO] [stderr] 934 | fn modulus(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 934 | fn modulus(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:957:23 [INFO] [stderr] | [INFO] [stderr] 957 | fn max(&self, n1: Number, n2: Number) -> Result { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 957 | fn max(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:957:35 [INFO] [stderr] | [INFO] [stderr] 957 | fn max(&self, n1: Number, n2: Number) -> Result { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 957 | fn max(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:957:53 [INFO] [stderr] | [INFO] [stderr] 957 | fn max(&self, n1: Number, n2: Number) -> Result { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 957 | fn max(&self, n1: Number, n2: Number) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:961:29 [INFO] [stderr] | [INFO] [stderr] 961 | fn remainder(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 961 | fn remainder(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:961:41 [INFO] [stderr] | [INFO] [stderr] 961 | fn remainder(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 961 | fn remainder(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:984:22 [INFO] [stderr] | [INFO] [stderr] 984 | fn or(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 984 | fn or(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:984:34 [INFO] [stderr] | [INFO] [stderr] 984 | fn or(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 984 | fn or(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1675:61 [INFO] [stderr] | [INFO] [stderr] 1675 | fn compare_numbers(&mut self, cmp: CompareNumberQT, n1: Number, n2: Number) { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 1675 | fn compare_numbers(&mut self, cmp: CompareNumberQT, n1: prolog::clause_types::ArithmeticTerm, n2: Number) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1675:73 [INFO] [stderr] | [INFO] [stderr] 1675 | fn compare_numbers(&mut self, cmp: CompareNumberQT, n1: Number, n2: Number) { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 1675 | fn compare_numbers(&mut self, cmp: CompareNumberQT, n1: Number, n2: prolog::clause_types::ArithmeticTerm) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/heap_print.rs:650:35 [INFO] [stderr] | [INFO] [stderr] 650 | fn print_number(&mut self, n: Number, op: &Option) { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 650 | fn print_number(&mut self, n: prolog::clause_types::ArithmeticTerm, op: &Option) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1940:48 [INFO] [stderr] | [INFO] [stderr] 1940 | Addr::Con(Constant::Number(Number::Integer(_))) => self.p += 1, [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1942:48 [INFO] [stderr] | [INFO] [stderr] 1942 | Addr::Con(Constant::Number(Number::Rational(r))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1963:48 [INFO] [stderr] | [INFO] [stderr] 1963 | Addr::Con(Constant::Number(Number::Float(_))) => self.p += 1, [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1971:48 [INFO] [stderr] | [INFO] [stderr] 1971 | Addr::Con(Constant::Number(Number::Rational(_))) => self.p += 1, [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2058:51 [INFO] [stderr] | [INFO] [stderr] 2058 | if let Addr::Con(Constant::Number(Number::Integer(arity))) = arity { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error: cannot find macro `integer!` in this scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:112:30 [INFO] [stderr] | [INFO] [stderr] 112 | self.unify(Addr::Con(integer!(n)), target_n); [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:124:40 [INFO] [stderr] | [INFO] [stderr] 124 | Addr::Con(Constant::Number(Number::Integer(ref max_steps))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:129:52 [INFO] [stderr] | [INFO] [stderr] 129 | Addr::Con(Constant::Number(Number::Integer(ref n))) if n.is_zero() => { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:473:27 [INFO] [stderr] | [INFO] [stderr] 473 | let len = Number::Integer(Rc::new(BigInt::from_usize(atom.as_str().len()).unwrap())); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:518:56 [INFO] [stderr] | [INFO] [stderr] 518 | Addr::Con(Constant::Number(Number::Integer(n))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:830:45 [INFO] [stderr] | [INFO] [stderr] 830 | let arity = Number::Integer(Rc::new(BigInt::from_usize(arity).unwrap())); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:870:42 [INFO] [stderr] | [INFO] [stderr] 870 | let a2 = Number::Integer(Rc::new(BigInt::from_usize(priority).unwrap())); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:895:48 [INFO] [stderr] | [INFO] [stderr] 895 | Addr::Con(Constant::Number(Number::Integer(n))) => n.to_usize().unwrap(), [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:1114:49 [INFO] [stderr] | [INFO] [stderr] 1114 | Addr::Con(Constant::Number(Number::Integer(n)))) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:1118:72 [INFO] [stderr] | [INFO] [stderr] 1118 | let count = Addr::Con(Constant::Number(Number::Integer(count))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:1230:68 [INFO] [stderr] | [INFO] [stderr] 1230 | let count = Addr::Con(Constant::Number(Number::Integer(count))); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/codegen.rs:360:57 [INFO] [stderr] | [INFO] [stderr] 360 | &Term::Constant(_, Constant::Number(Number::Rational(_))) => { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/codegen.rs:373:57 [INFO] [stderr] | [INFO] [stderr] 373 | &Term::Constant(_, Constant::Number(Number::Float(_))) => { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/codegen.rs:413:57 [INFO] [stderr] | [INFO] [stderr] 413 | | &Term::Constant(_, Constant::Number(Number::Integer(_))) => { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/heap_print.rs:245:40 [INFO] [stderr] | [INFO] [stderr] 245 | Addr::Con(Constant::Number(Number::Integer(ref n))) [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] warning: unused import: `prolog::num::bigint::BigInt` [INFO] [stderr] --> src/prolog/machine/machine_errors.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use prolog::num::bigint::BigInt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_imports)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::rc::Rc` [INFO] [stderr] --> src/prolog/machine/machine_errors.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | use std::rc::Rc; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Number` [INFO] [stderr] --> src/prolog/heap_print.rs:662:13 [INFO] [stderr] | [INFO] [stderr] 662 | Number::Float(fl) => [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Number` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/clause_types.rs:59:12 [INFO] [stderr] | [INFO] [stderr] 59 | Number(Number) [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 59 | Number(prolog::clause_types::ArithmeticTerm) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state.rs:236:29 [INFO] [stderr] | [INFO] [stderr] 236 | pub(super) interms: Vec, // intermediate numbers. [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 236 | pub(super) interms: Vec, // intermediate numbers. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:679:68 [INFO] [stderr] | [INFO] [stderr] 679 | pub(super) fn get_number(&self, at: &ArithmeticTerm) -> Result { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 679 | pub(super) fn get_number(&self, at: &ArithmeticTerm) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:717:71 [INFO] [stderr] | [INFO] [stderr] 717 | pub(super) fn arith_eval_by_metacall(&self, r: RegType) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 717 | pub(super) fn arith_eval_by_metacall(&self, r: RegType) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:722:30 [INFO] [stderr] | [INFO] [stderr] 722 | let mut interms: Vec = Vec::with_capacity(64); [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 722 | let mut interms: Vec = Vec::with_capacity(64); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:789:25 [INFO] [stderr] | [INFO] [stderr] 789 | fn fidiv(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 789 | fn fidiv(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:789:37 [INFO] [stderr] | [INFO] [stderr] 789 | fn fidiv(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 789 | fn fidiv(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:811:24 [INFO] [stderr] | [INFO] [stderr] 811 | fn idiv(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 811 | fn idiv(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:811:36 [INFO] [stderr] | [INFO] [stderr] 811 | fn idiv(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 811 | fn idiv(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:833:23 [INFO] [stderr] | [INFO] [stderr] 833 | fn div(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 833 | fn div(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:833:35 [INFO] [stderr] | [INFO] [stderr] 833 | fn div(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 833 | fn div(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:833:53 [INFO] [stderr] | [INFO] [stderr] 833 | fn div(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 833 | fn div(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:844:23 [INFO] [stderr] | [INFO] [stderr] 844 | fn pow(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 844 | fn pow(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:844:35 [INFO] [stderr] | [INFO] [stderr] 844 | fn pow(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 844 | fn pow(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:844:53 [INFO] [stderr] | [INFO] [stderr] 844 | fn pow(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 844 | fn pow(&self, n1: Number, n2: Number) -> Result [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:856:23 [INFO] [stderr] | [INFO] [stderr] 856 | fn shr(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 856 | fn shr(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:856:35 [INFO] [stderr] | [INFO] [stderr] 856 | fn shr(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 856 | fn shr(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:877:23 [INFO] [stderr] | [INFO] [stderr] 877 | fn shl(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 877 | fn shl(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:877:35 [INFO] [stderr] | [INFO] [stderr] 877 | fn shl(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 877 | fn shl(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:898:23 [INFO] [stderr] | [INFO] [stderr] 898 | fn xor(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 898 | fn xor(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:898:35 [INFO] [stderr] | [INFO] [stderr] 898 | fn xor(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 898 | fn xor(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:916:23 [INFO] [stderr] | [INFO] [stderr] 916 | fn and(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 916 | fn and(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:916:35 [INFO] [stderr] | [INFO] [stderr] 916 | fn and(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 916 | fn and(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:934:27 [INFO] [stderr] | [INFO] [stderr] 934 | fn modulus(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 934 | fn modulus(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:934:39 [INFO] [stderr] | [INFO] [stderr] 934 | fn modulus(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 934 | fn modulus(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:957:23 [INFO] [stderr] | [INFO] [stderr] 957 | fn max(&self, n1: Number, n2: Number) -> Result { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 957 | fn max(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:957:35 [INFO] [stderr] | [INFO] [stderr] 957 | fn max(&self, n1: Number, n2: Number) -> Result { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 957 | fn max(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:957:53 [INFO] [stderr] | [INFO] [stderr] 957 | fn max(&self, n1: Number, n2: Number) -> Result { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 957 | fn max(&self, n1: Number, n2: Number) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:961:29 [INFO] [stderr] | [INFO] [stderr] 961 | fn remainder(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 961 | fn remainder(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:961:41 [INFO] [stderr] | [INFO] [stderr] 961 | fn remainder(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 961 | fn remainder(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:984:22 [INFO] [stderr] | [INFO] [stderr] 984 | fn or(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 984 | fn or(&self, n1: prolog::clause_types::ArithmeticTerm, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:984:34 [INFO] [stderr] | [INFO] [stderr] 984 | fn or(&self, n1: Number, n2: Number) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 984 | fn or(&self, n1: Number, n2: prolog::clause_types::ArithmeticTerm) -> Result, MachineStub> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1675:61 [INFO] [stderr] | [INFO] [stderr] 1675 | fn compare_numbers(&mut self, cmp: CompareNumberQT, n1: Number, n2: Number) { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 1675 | fn compare_numbers(&mut self, cmp: CompareNumberQT, n1: prolog::clause_types::ArithmeticTerm, n2: Number) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1675:73 [INFO] [stderr] | [INFO] [stderr] 1675 | fn compare_numbers(&mut self, cmp: CompareNumberQT, n1: Number, n2: Number) { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 1675 | fn compare_numbers(&mut self, cmp: CompareNumberQT, n1: Number, n2: prolog::clause_types::ArithmeticTerm) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Number` in this scope [INFO] [stderr] --> src/prolog/heap_print.rs:650:35 [INFO] [stderr] | [INFO] [stderr] 650 | fn print_number(&mut self, n: Number, op: &Option) { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] help: there is an enum variant `prolog::clause_types::ArithmeticTerm::Number`; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 650 | fn print_number(&mut self, n: prolog::clause_types::ArithmeticTerm, op: &Option) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `prolog::num::bigint::BigInt` [INFO] [stderr] --> src/prolog/machine/machine_errors.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use prolog::num::bigint::BigInt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_imports)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::rc::Rc` [INFO] [stderr] --> src/prolog/machine/machine_errors.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | use std::rc::Rc; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:50:33 [INFO] [stderr] | [INFO] [stderr] 50 | Addr::Con(Constant::Number(Number::Integer(arity))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:195:33 [INFO] [stderr] | [INFO] [stderr] 195 | Addr::Con(Constant::Number(Number::Integer(n))) => n.to_usize().unwrap(), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:230:33 [INFO] [stderr] | [INFO] [stderr] 230 | Addr::Con(Constant::Number(Number::Integer(n))) => n.to_usize().unwrap(), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/toplevel.rs:145:37 [INFO] [stderr] | [INFO] [stderr] 145 | Term::Constant(_, Constant::Number(Number::Integer(bi))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `is_negative` found for type `rug::integer::big::Integer` in the current scope [INFO] [stderr] --> src/prolog/machine/toplevel.rs:165:41 [INFO] [stderr] | [INFO] [stderr] 165 | .and_then(|n| if !n.is_negative() { n.to_usize() } else { None }) [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:50:33 [INFO] [stderr] | [INFO] [stderr] 50 | Addr::Con(Constant::Number(Number::Integer(arity))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state.rs:688:58 [INFO] [stderr] | [INFO] [stderr] 688 | machine_st.unify(a1, Addr::Con(Constant::Number(a2))); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:195:33 [INFO] [stderr] | [INFO] [stderr] 195 | Addr::Con(Constant::Number(Number::Integer(n))) => n.to_usize().unwrap(), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:230:33 [INFO] [stderr] | [INFO] [stderr] 230 | Addr::Con(Constant::Number(Number::Integer(n))) => n.to_usize().unwrap(), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/toplevel.rs:145:37 [INFO] [stderr] | [INFO] [stderr] 145 | Term::Constant(_, Constant::Number(Number::Integer(bi))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `is_negative` found for type `rug::integer::big::Integer` in the current scope [INFO] [stderr] --> src/prolog/machine/toplevel.rs:165:41 [INFO] [stderr] | [INFO] [stderr] 165 | .and_then(|n| if !n.is_negative() { n.to_usize() } else { None }) [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:329:57 [INFO] [stderr] | [INFO] [stderr] 329 | HeapCellValue::Addr(Addr::Con(Constant::Number(Number::Integer(n)))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:767:57 [INFO] [stderr] | [INFO] [stderr] 767 | HeapCellValue::Addr(Addr::Con(Constant::Number(n))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:802:73 [INFO] [stderr] | [INFO] [stderr] 802 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:806:73 [INFO] [stderr] | [INFO] [stderr] 806 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:824:73 [INFO] [stderr] | [INFO] [stderr] 824 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:828:73 [INFO] [stderr] | [INFO] [stderr] 828 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:868:73 [INFO] [stderr] | [INFO] [stderr] 868 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:872:73 [INFO] [stderr] | [INFO] [stderr] 872 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:889:73 [INFO] [stderr] | [INFO] [stderr] 889 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:893:73 [INFO] [stderr] | [INFO] [stderr] 893 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:907:73 [INFO] [stderr] | [INFO] [stderr] 907 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:911:73 [INFO] [stderr] | [INFO] [stderr] 911 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:925:73 [INFO] [stderr] | [INFO] [stderr] 925 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:929:73 [INFO] [stderr] | [INFO] [stderr] 929 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:948:82 [INFO] [stderr] | [INFO] [stderr] 948 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:952:82 [INFO] [stderr] | [INFO] [stderr] 952 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:975:82 [INFO] [stderr] | [INFO] [stderr] 975 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:979:82 [INFO] [stderr] | [INFO] [stderr] 979 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:993:82 [INFO] [stderr] | [INFO] [stderr] 993 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:997:82 [INFO] [stderr] | [INFO] [stderr] 997 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state.rs:688:58 [INFO] [stderr] | [INFO] [stderr] 688 | machine_st.unify(a1, Addr::Con(Constant::Number(a2))); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1620:33 [INFO] [stderr] | [INFO] [stderr] 1620 | Addr::Con(Constant::Number(Number::Integer(n))) => { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1623:49 [INFO] [stderr] | [INFO] [stderr] 1623 | let n = Addr::Con(Constant::Number(Number::Integer(n))); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:329:57 [INFO] [stderr] | [INFO] [stderr] 329 | HeapCellValue::Addr(Addr::Con(Constant::Number(Number::Integer(n)))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1808:58 [INFO] [stderr] | [INFO] [stderr] 1808 | (HeapCellValue::Addr(Addr::Con(Constant::Number(..))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1810:58 [INFO] [stderr] | [INFO] [stderr] 1810 | | (HeapCellValue::Addr(Addr::Con(Constant::Number(..))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1813:58 [INFO] [stderr] | [INFO] [stderr] 1813 | (HeapCellValue::Addr(Addr::Con(Constant::Number(..))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1816:58 [INFO] [stderr] | [INFO] [stderr] 1816 | (HeapCellValue::Addr(Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1817:58 [INFO] [stderr] | [INFO] [stderr] 1817 | HeapCellValue::Addr(Addr::Con(Constant::Number(n2)))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1821:58 [INFO] [stderr] | [INFO] [stderr] 1821 | (HeapCellValue::Addr(Addr::Con(Constant::Number(_))), _) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1832:58 [INFO] [stderr] | [INFO] [stderr] 1832 | HeapCellValue::Addr(Addr::Con(Constant::Number(_)))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1860:58 [INFO] [stderr] | [INFO] [stderr] 1860 | HeapCellValue::Addr(Addr::Con(Constant::Number(_)))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1940:41 [INFO] [stderr] | [INFO] [stderr] 1940 | Addr::Con(Constant::Number(Number::Integer(_))) => self.p += 1, [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1942:41 [INFO] [stderr] | [INFO] [stderr] 1942 | Addr::Con(Constant::Number(Number::Rational(r))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1963:41 [INFO] [stderr] | [INFO] [stderr] 1963 | Addr::Con(Constant::Number(Number::Float(_))) => self.p += 1, [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:767:57 [INFO] [stderr] | [INFO] [stderr] 767 | HeapCellValue::Addr(Addr::Con(Constant::Number(n))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1971:41 [INFO] [stderr] | [INFO] [stderr] 1971 | Addr::Con(Constant::Number(Number::Rational(_))) => self.p += 1, [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2058:44 [INFO] [stderr] | [INFO] [stderr] 2058 | if let Addr::Con(Constant::Number(Number::Integer(arity))) = arity { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:802:73 [INFO] [stderr] | [INFO] [stderr] 802 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:806:73 [INFO] [stderr] | [INFO] [stderr] 806 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:824:73 [INFO] [stderr] | [INFO] [stderr] 824 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:828:73 [INFO] [stderr] | [INFO] [stderr] 828 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:868:73 [INFO] [stderr] | [INFO] [stderr] 868 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:124:33 [INFO] [stderr] | [INFO] [stderr] 124 | Addr::Con(Constant::Number(Number::Integer(ref max_steps))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:872:73 [INFO] [stderr] | [INFO] [stderr] 872 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:889:73 [INFO] [stderr] | [INFO] [stderr] 889 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:129:45 [INFO] [stderr] | [INFO] [stderr] 129 | Addr::Con(Constant::Number(Number::Integer(ref n))) if n.is_zero() => { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:893:73 [INFO] [stderr] | [INFO] [stderr] 893 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:907:73 [INFO] [stderr] | [INFO] [stderr] 907 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:911:73 [INFO] [stderr] | [INFO] [stderr] 911 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:925:73 [INFO] [stderr] | [INFO] [stderr] 925 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:929:73 [INFO] [stderr] | [INFO] [stderr] 929 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:948:82 [INFO] [stderr] | [INFO] [stderr] 948 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:952:82 [INFO] [stderr] | [INFO] [stderr] 952 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:975:82 [INFO] [stderr] | [INFO] [stderr] 975 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:476:52 [INFO] [stderr] | [INFO] [stderr] 476 | self.unify(a2, Addr::Con(Constant::Number(len))); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:979:82 [INFO] [stderr] | [INFO] [stderr] 979 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:518:49 [INFO] [stderr] | [INFO] [stderr] 518 | Addr::Con(Constant::Number(Number::Integer(n))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:993:82 [INFO] [stderr] | [INFO] [stderr] 993 | Addr::Con(Constant::Number(n2))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:997:82 [INFO] [stderr] | [INFO] [stderr] 997 | Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:835:72 [INFO] [stderr] | [INFO] [stderr] 835 | self.unify(a3, Addr::Con(Constant::Number(arity))); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:874:64 [INFO] [stderr] | [INFO] [stderr] 874 | self.unify(Addr::Con(Constant::Number(a2)), prec); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:895:41 [INFO] [stderr] | [INFO] [stderr] 895 | Addr::Con(Constant::Number(Number::Integer(n))) => n.to_usize().unwrap(), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:1114:42 [INFO] [stderr] | [INFO] [stderr] 1114 | Addr::Con(Constant::Number(Number::Integer(n)))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:1118:65 [INFO] [stderr] | [INFO] [stderr] 1118 | let count = Addr::Con(Constant::Number(Number::Integer(count))); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:1230:61 [INFO] [stderr] | [INFO] [stderr] 1230 | let count = Addr::Con(Constant::Number(Number::Integer(count))); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1620:33 [INFO] [stderr] | [INFO] [stderr] 1620 | Addr::Con(Constant::Number(Number::Integer(n))) => { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1623:49 [INFO] [stderr] | [INFO] [stderr] 1623 | let n = Addr::Con(Constant::Number(Number::Integer(n))); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1808:58 [INFO] [stderr] | [INFO] [stderr] 1808 | (HeapCellValue::Addr(Addr::Con(Constant::Number(..))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1810:58 [INFO] [stderr] | [INFO] [stderr] 1810 | | (HeapCellValue::Addr(Addr::Con(Constant::Number(..))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1813:58 [INFO] [stderr] | [INFO] [stderr] 1813 | (HeapCellValue::Addr(Addr::Con(Constant::Number(..))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1816:58 [INFO] [stderr] | [INFO] [stderr] 1816 | (HeapCellValue::Addr(Addr::Con(Constant::Number(n1))), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1817:58 [INFO] [stderr] | [INFO] [stderr] 1817 | HeapCellValue::Addr(Addr::Con(Constant::Number(n2)))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1821:58 [INFO] [stderr] | [INFO] [stderr] 1821 | (HeapCellValue::Addr(Addr::Con(Constant::Number(_))), _) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1832:58 [INFO] [stderr] | [INFO] [stderr] 1832 | HeapCellValue::Addr(Addr::Con(Constant::Number(_)))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1860:58 [INFO] [stderr] | [INFO] [stderr] 1860 | HeapCellValue::Addr(Addr::Con(Constant::Number(_)))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidTerm` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:30:45 [INFO] [stderr] | [INFO] [stderr] 30 | return Err(ArithmeticError::InvalidTerm), [INFO] [stderr] | ^^^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidOp` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:35:47 [INFO] [stderr] | [INFO] [stderr] 35 | _ => Err(ArithmeticError::InvalidOp) [INFO] [stderr] | ^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidTerm` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:40:45 [INFO] [stderr] | [INFO] [stderr] 40 | return Err(ArithmeticError::InvalidTerm), [INFO] [stderr] | ^^^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1940:41 [INFO] [stderr] | [INFO] [stderr] 1940 | Addr::Con(Constant::Number(Number::Integer(_))) => self.p += 1, [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidTerm` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:78:54 [INFO] [stderr] | [INFO] [stderr] 78 | return Some(Err(ArithmeticError::InvalidTerm)) [INFO] [stderr] | ^^^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1942:41 [INFO] [stderr] | [INFO] [stderr] 1942 | Addr::Con(Constant::Number(Number::Rational(r))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidOp` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:118:41 [INFO] [stderr] | [INFO] [stderr] 118 | _ => Err(ArithmeticError::InvalidOp) [INFO] [stderr] | ^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1963:41 [INFO] [stderr] | [INFO] [stderr] 1963 | Addr::Con(Constant::Number(Number::Float(_))) => self.p += 1, [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidOp` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:143:44 [INFO] [stderr] | [INFO] [stderr] 143 | _ => Err(ArithmeticError::InvalidOp) [INFO] [stderr] | ^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:1971:41 [INFO] [stderr] | [INFO] [stderr] 1971 | Addr::Con(Constant::Number(Number::Rational(_))) => self.p += 1, [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidOp` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:196:39 [INFO] [stderr] | [INFO] [stderr] 196 | _ => Err(ArithmeticError::InvalidOp) [INFO] [stderr] | ^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:202:24 [INFO] [stderr] | [INFO] [stderr] 202 | &Constant::Number(ref n) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidAtom` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:205:45 [INFO] [stderr] | [INFO] [stderr] 205 | return Err(ArithmeticError::InvalidAtom), [INFO] [stderr] | ^^^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2058:44 [INFO] [stderr] | [INFO] [stderr] 2058 | if let Addr::Con(Constant::Number(Number::Integer(arity))) = arity { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/codegen.rs:360:50 [INFO] [stderr] | [INFO] [stderr] 360 | &Term::Constant(_, Constant::Number(Number::Rational(_))) => { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/codegen.rs:373:50 [INFO] [stderr] | [INFO] [stderr] 373 | &Term::Constant(_, Constant::Number(Number::Float(_))) => { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/codegen.rs:413:50 [INFO] [stderr] | [INFO] [stderr] 413 | | &Term::Constant(_, Constant::Number(Number::Integer(_))) => { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:124:33 [INFO] [stderr] | [INFO] [stderr] 124 | Addr::Con(Constant::Number(Number::Integer(ref max_steps))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:129:45 [INFO] [stderr] | [INFO] [stderr] 129 | Addr::Con(Constant::Number(Number::Integer(ref n))) if n.is_zero() => { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/codegen.rs:481:50 [INFO] [stderr] | [INFO] [stderr] 481 | &Term::Constant(_, ref c @ Constant::Number(_)) => { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:476:52 [INFO] [stderr] | [INFO] [stderr] 476 | self.unify(a2, Addr::Con(Constant::Number(len))); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:518:49 [INFO] [stderr] | [INFO] [stderr] 518 | Addr::Con(Constant::Number(Number::Integer(n))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:835:72 [INFO] [stderr] | [INFO] [stderr] 835 | self.unify(a3, Addr::Con(Constant::Number(arity))); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:874:64 [INFO] [stderr] | [INFO] [stderr] 874 | self.unify(Addr::Con(Constant::Number(a2)), prec); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:895:41 [INFO] [stderr] | [INFO] [stderr] 895 | Addr::Con(Constant::Number(Number::Integer(n))) => n.to_usize().unwrap(), [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:1114:42 [INFO] [stderr] | [INFO] [stderr] 1114 | Addr::Con(Constant::Number(Number::Integer(n)))) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:1118:65 [INFO] [stderr] | [INFO] [stderr] 1118 | let count = Addr::Con(Constant::Number(Number::Integer(count))); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/machine/system_calls.rs:1230:61 [INFO] [stderr] | [INFO] [stderr] 1230 | let count = Addr::Con(Constant::Number(Number::Integer(count))); [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidTerm` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:30:45 [INFO] [stderr] | [INFO] [stderr] 30 | return Err(ArithmeticError::InvalidTerm), [INFO] [stderr] | ^^^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidOp` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:35:47 [INFO] [stderr] | [INFO] [stderr] 35 | _ => Err(ArithmeticError::InvalidOp) [INFO] [stderr] | ^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidTerm` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:40:45 [INFO] [stderr] | [INFO] [stderr] 40 | return Err(ArithmeticError::InvalidTerm), [INFO] [stderr] | ^^^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidTerm` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:78:54 [INFO] [stderr] | [INFO] [stderr] 78 | return Some(Err(ArithmeticError::InvalidTerm)) [INFO] [stderr] | ^^^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidOp` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:118:41 [INFO] [stderr] | [INFO] [stderr] 118 | _ => Err(ArithmeticError::InvalidOp) [INFO] [stderr] | ^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidOp` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:143:44 [INFO] [stderr] | [INFO] [stderr] 143 | _ => Err(ArithmeticError::InvalidOp) [INFO] [stderr] | ^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidOp` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:196:39 [INFO] [stderr] | [INFO] [stderr] 196 | _ => Err(ArithmeticError::InvalidOp) [INFO] [stderr] | ^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:202:24 [INFO] [stderr] | [INFO] [stderr] 202 | &Constant::Number(ref n) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `InvalidAtom` found for type `prolog_parser::ast::ArithmeticError` in the current scope [INFO] [stderr] --> src/prolog/arithmetic.rs:205:45 [INFO] [stderr] | [INFO] [stderr] 205 | return Err(ArithmeticError::InvalidAtom), [INFO] [stderr] | ^^^^^^^^^^^ variant or associated item not found in `prolog_parser::ast::ArithmeticError` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/codegen.rs:360:50 [INFO] [stderr] | [INFO] [stderr] 360 | &Term::Constant(_, Constant::Number(Number::Rational(_))) => { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/codegen.rs:373:50 [INFO] [stderr] | [INFO] [stderr] 373 | &Term::Constant(_, Constant::Number(Number::Float(_))) => { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/codegen.rs:413:50 [INFO] [stderr] | [INFO] [stderr] 413 | | &Term::Constant(_, Constant::Number(Number::Integer(_))) => { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/heap_print.rs:112:37 [INFO] [stderr] | [INFO] [stderr] 112 | Addr::Con(Constant::Number(n)) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/codegen.rs:481:50 [INFO] [stderr] | [INFO] [stderr] 481 | &Term::Constant(_, ref c @ Constant::Number(_)) => { [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/heap_print.rs:245:33 [INFO] [stderr] | [INFO] [stderr] 245 | Addr::Con(Constant::Number(Number::Integer(ref n))) [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/heap_print.rs:742:23 [INFO] [stderr] | [INFO] [stderr] 742 | Constant::Number(n) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] warning: unused import: `prolog::num::ToPrimitive` [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | use prolog::num::ToPrimitive; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `prolog::num` [INFO] [stderr] --> src/prolog/machine/toplevel.rs:12:5 [INFO] [stderr] | [INFO] [stderr] 12 | use prolog::num::*; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Integer` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:17:19 [INFO] [stderr] | [INFO] [stderr] 17 | use prolog::num::{Integer, Signed, ToPrimitive, One, Zero}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Signed` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:17:28 [INFO] [stderr] | [INFO] [stderr] 17 | use prolog::num::{Integer, Signed, ToPrimitive, One, Zero}; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ToPrimitive` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:17:36 [INFO] [stderr] | [INFO] [stderr] 17 | use prolog::num::{Integer, Signed, ToPrimitive, One, Zero}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ToPrimitive` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:12:34 [INFO] [stderr] | [INFO] [stderr] 12 | use prolog::num::{FromPrimitive, ToPrimitive, Zero}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Zero` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:12:47 [INFO] [stderr] | [INFO] [stderr] 12 | use prolog::num::{FromPrimitive, ToPrimitive, Zero}; [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] error: aborting due to 187 previous errors [INFO] [stderr] [INFO] [stderr] Some errors have detailed explanations: E0412, E0433, E0599. [INFO] [stderr] For more information about an error, try `rustc --explain E0412`. [INFO] [stderr] error: Could not compile `scryer-prolog`. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/heap_print.rs:112:37 [INFO] [stderr] | [INFO] [stderr] 112 | Addr::Con(Constant::Number(n)) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/heap_print.rs:245:33 [INFO] [stderr] | [INFO] [stderr] 245 | Addr::Con(Constant::Number(Number::Integer(ref n))) [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] error[E0599]: no variant or associated item named `Number` found for type `prolog_parser::ast::Constant` in the current scope [INFO] [stderr] --> src/prolog/heap_print.rs:742:23 [INFO] [stderr] | [INFO] [stderr] 742 | Constant::Number(n) => [INFO] [stderr] | ^^^^^^ variant or associated item not found in `prolog_parser::ast::Constant` [INFO] [stderr] [INFO] [stderr] warning: unused import: `prolog::num::ToPrimitive` [INFO] [stderr] --> src/prolog/machine/dynamic_database.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | use prolog::num::ToPrimitive; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `prolog::num` [INFO] [stderr] --> src/prolog/machine/toplevel.rs:12:5 [INFO] [stderr] | [INFO] [stderr] 12 | use prolog::num::*; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Integer` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:17:19 [INFO] [stderr] | [INFO] [stderr] 17 | use prolog::num::{Integer, Signed, ToPrimitive, One, Zero}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Signed` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:17:28 [INFO] [stderr] | [INFO] [stderr] 17 | use prolog::num::{Integer, Signed, ToPrimitive, One, Zero}; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ToPrimitive` [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:17:36 [INFO] [stderr] | [INFO] [stderr] 17 | use prolog::num::{Integer, Signed, ToPrimitive, One, Zero}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ToPrimitive` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:12:34 [INFO] [stderr] | [INFO] [stderr] 12 | use prolog::num::{FromPrimitive, ToPrimitive, Zero}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Zero` [INFO] [stderr] --> src/prolog/machine/system_calls.rs:12:47 [INFO] [stderr] | [INFO] [stderr] 12 | use prolog::num::{FromPrimitive, ToPrimitive, Zero}; [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] error: aborting due to 187 previous errors [INFO] [stderr] [INFO] [stderr] Some errors have detailed explanations: E0412, E0433, E0599. [INFO] [stderr] For more information about an error, try `rustc --explain E0412`. [INFO] [stderr] error: Could not compile `scryer-prolog`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "0c99a26d0c06b2401b87241ae037d508b7fcce807d0ee77fd3c37c8858fd2b38"` [INFO] running `"docker" "rm" "-f" "0c99a26d0c06b2401b87241ae037d508b7fcce807d0ee77fd3c37c8858fd2b38"` [INFO] [stdout] 0c99a26d0c06b2401b87241ae037d508b7fcce807d0ee77fd3c37c8858fd2b38