Aug 29 17:15:53.156 INFO checking remexre/wam-tutorial-reconstruction against master#ede55518431154bc761f7b2438cce9078c162700 for pr-53707
Aug 29 17:15:53.156 INFO running: cargo +ede55518431154bc761f7b2438cce9078c162700-alt check --frozen --all --all-targets
Aug 29 17:15:53.156 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-53707/master#ede55518431154bc761f7b2438cce9078c162700:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53707/worker-3/master#ede55518431154bc761f7b2438cce9078c162700:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +ede55518431154bc761f7b2438cce9078c162700-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"`
Aug 29 17:15:53.411 INFO blam! a0f9e317a121d5ba70fc48a2eb21d2a619ea7115a86ae0e0dbd309d8c06f2ab4
Aug 29 17:15:53.413 INFO running `"docker" "start" "-a" "a0f9e317a121d5ba70fc48a2eb21d2a619ea7115a86ae0e0dbd309d8c06f2ab4"`
Aug 29 17:15:54.240 INFO kablam! warning: An explicit [[bin]] section is specified in Cargo.toml which currently
Aug 29 17:15:54.240 INFO kablam! disables Cargo from automatically inferring other binary targets.
Aug 29 17:15:54.240 INFO kablam! This inference behavior will change in the Rust 2018 edition and the following
Aug 29 17:15:54.240 INFO kablam! files will be included as a binary target:
Aug 29 17:15:54.240 INFO kablam! 
Aug 29 17:15:54.240 INFO kablam! * /source/src/bin/logger.rs
Aug 29 17:15:54.240 INFO kablam! * /source/src/bin/options.rs
Aug 29 17:15:54.240 INFO kablam! 
Aug 29 17:15:54.240 INFO kablam! This is likely to break cargo build or cargo test as these files may not be
Aug 29 17:15:54.240 INFO kablam! ready to be compiled as a binary target today. You can future-proof yourself
Aug 29 17:15:54.240 INFO kablam! and disable this warning by adding `autobins = false` to your [package]
Aug 29 17:15:54.240 INFO kablam! section. You may also move the files to a location where Cargo would not
Aug 29 17:15:54.240 INFO kablam! automatically infer them to be a target, such as in subfolders.
Aug 29 17:15:54.240 INFO kablam! 
Aug 29 17:15:54.240 INFO kablam! For more information on this warning you can consult
Aug 29 17:15:54.240 INFO kablam! https://github.com/rust-lang/cargo/issues/5330
Aug 29 17:15:54.416 INFO kablam!     Checking bit-vec v0.4.4
Aug 29 17:15:54.420 INFO kablam!     Checking spin v0.4.6
Aug 29 17:15:54.421 INFO kablam!     Checking either v1.4.0
Aug 29 17:15:54.425 INFO kablam!     Checking memchr v1.0.2
Aug 29 17:15:54.425 INFO kablam!     Checking regex-syntax v0.5.0
Aug 29 17:15:54.425 INFO kablam!     Checking thread_local v0.3.5
Aug 29 17:15:54.426 INFO kablam!     Checking clap v2.31.1
Aug 29 17:15:54.434 INFO kablam!    Compiling syn v0.12.13
Aug 29 17:15:55.646 INFO kablam!     Checking nix v0.7.0
Aug 29 17:15:55.907 INFO kablam!     Checking symbol v0.1.1
Aug 29 17:15:56.749 INFO kablam!     Checking nom v3.2.1
Aug 29 17:15:56.817 INFO kablam!     Checking failure v0.1.1
Aug 29 17:15:57.967 INFO kablam!     Checking bit-set v0.4.0
Aug 29 17:16:00.138 INFO kablam!     Checking proptest v0.5.1
Aug 29 17:16:13.859 INFO kablam!     Checking linefeed v0.4.0
Aug 29 17:16:19.338 INFO kablam!     Checking regex v0.2.7
Aug 29 17:16:23.017 INFO kablam!    Compiling structopt-derive v0.2.5
Aug 29 17:16:28.469 INFO kablam!     Checking structopt v0.2.5
Aug 29 17:16:28.897 INFO kablam!     Checking wam-tutorial-reconstruction v0.1.0 (file:///source)
Aug 29 17:16:31.878 INFO kablam! warning: unused variable: `head`
Aug 29 17:16:31.878 INFO kablam!   --> src/flat/compile/clause.rs:35:28
Aug 29 17:16:31.878 INFO kablam!    |
Aug 29 17:16:31.878 INFO kablam! 35 |     let body = if let Some(head) = head {
Aug 29 17:16:31.878 INFO kablam!    |                            ^^^^ help: consider using `_head` instead
Aug 29 17:16:31.878 INFO kablam!    |
Aug 29 17:16:31.878 INFO kablam!    = note: #[warn(unused_variables)] on by default
Aug 29 17:16:31.878 INFO kablam! 
Aug 29 17:16:31.878 INFO kablam! warning: unused variable: `s`
Aug 29 17:16:31.878 INFO kablam!   --> src/flat/compile/clause.rs:56:9
Aug 29 17:16:31.878 INFO kablam!    |
Aug 29 17:16:31.878 INFO kablam! 56 |     for s in body {
Aug 29 17:16:31.878 INFO kablam!    |         ^ help: consider using `_s` instead
Aug 29 17:16:31.878 INFO kablam! 
Aug 29 17:16:31.878 INFO kablam! warning: unused variable: `i`
Aug 29 17:16:31.878 INFO kablam!   --> src/flat/compile/clause.rs:74:10
Aug 29 17:16:31.878 INFO kablam!    |
Aug 29 17:16:31.878 INFO kablam! 74 |     for (i, f) in flatten(s).into_iter().enumerate() {
Aug 29 17:16:31.878 INFO kablam!    |          ^ help: consider using `_i` instead
Aug 29 17:16:31.879 INFO kablam! 
Aug 29 17:16:31.879 INFO kablam! warning: unused variable: `a`
Aug 29 17:16:31.879 INFO kablam!   --> src/flat/compile/clause.rs:76:31
Aug 29 17:16:31.879 INFO kablam!    |
Aug 29 17:16:31.879 INFO kablam! 76 |             FlatTerm::Functor(a, is) => unimplemented!(),
Aug 29 17:16:31.879 INFO kablam!    |                               ^ help: consider using `_a` instead
Aug 29 17:16:31.879 INFO kablam! 
Aug 29 17:16:31.879 INFO kablam! warning: unused variable: `is`
Aug 29 17:16:31.879 INFO kablam!   --> src/flat/compile/clause.rs:76:34
Aug 29 17:16:31.879 INFO kablam!    |
Aug 29 17:16:31.879 INFO kablam! 76 |             FlatTerm::Functor(a, is) => unimplemented!(),
Aug 29 17:16:31.879 INFO kablam!    |                                  ^^ help: consider using `_is` instead
Aug 29 17:16:31.879 INFO kablam! 
Aug 29 17:16:31.879 INFO kablam! warning: unused variable: `n`
Aug 29 17:16:31.879 INFO kablam!   --> src/flat/compile/clause.rs:77:27
Aug 29 17:16:31.879 INFO kablam!    |
Aug 29 17:16:31.879 INFO kablam! 77 |             FlatTerm::Ref(n) => unimplemented!(),
Aug 29 17:16:31.879 INFO kablam!    |                           ^ help: consider using `_n` instead
Aug 29 17:16:31.879 INFO kablam! 
Aug 29 17:16:31.879 INFO kablam! warning: unused variable: `v`
Aug 29 17:16:31.879 INFO kablam!   --> src/flat/compile/clause.rs:78:37
Aug 29 17:16:31.879 INFO kablam!    |
Aug 29 17:16:31.879 INFO kablam! 78 |             FlatTerm::Variable(Some(v)) => unimplemented!(),
Aug 29 17:16:31.879 INFO kablam!    |                                     ^ help: consider using `_v` instead
Aug 29 17:16:31.879 INFO kablam! 
Aug 29 17:16:31.879 INFO kablam! warning: unused variable: `code`
Aug 29 17:16:31.880 INFO kablam!   --> src/flat/compile/clause.rs:68:5
Aug 29 17:16:31.880 INFO kablam!    |
Aug 29 17:16:31.880 INFO kablam! 68 |     code: &mut Vec<Instruction>,
Aug 29 17:16:31.880 INFO kablam!    |     ^^^^ help: consider using `_code` instead
Aug 29 17:16:31.880 INFO kablam! 
Aug 29 17:16:31.880 INFO kablam! warning: unused variable: `seen`
Aug 29 17:16:31.880 INFO kablam!   --> src/flat/compile/clause.rs:69:5
Aug 29 17:16:31.880 INFO kablam!    |
Aug 29 17:16:31.880 INFO kablam! 69 |     seen: &mut HashSet<usize>,
Aug 29 17:16:31.880 INFO kablam!    |     ^^^^ help: consider using `_seen` instead
Aug 29 17:16:31.880 INFO kablam! 
Aug 29 17:16:31.880 INFO kablam! warning: unused variable: `vars`
Aug 29 17:16:31.880 INFO kablam!   --> src/flat/compile/clause.rs:70:5
Aug 29 17:16:31.880 INFO kablam!    |
Aug 29 17:16:31.880 INFO kablam! 70 |     vars: &mut HashMap<Variable, Location>,
Aug 29 17:16:31.880 INFO kablam!    |     ^^^^ help: consider using `_vars` instead
Aug 29 17:16:31.880 INFO kablam! 
Aug 29 17:16:31.880 INFO kablam! warning: unused variable: `permanent`
Aug 29 17:16:31.880 INFO kablam!   --> src/flat/compile/clause.rs:71:5
Aug 29 17:16:31.880 INFO kablam!    |
Aug 29 17:16:31.880 INFO kablam! 71 |     permanent: &HashMap<Variable, usize>,
Aug 29 17:16:31.880 INFO kablam!    |     ^^^^^^^^^ help: consider using `_permanent` instead
Aug 29 17:16:31.880 INFO kablam! 
Aug 29 17:16:31.880 INFO kablam! warning: unused variable: `a`
Aug 29 17:16:31.880 INFO kablam!   --> src/flat/compile/clause.rs:94:39
Aug 29 17:16:31.880 INFO kablam!    |
Aug 29 17:16:31.880 INFO kablam! 94 |             Term::Structure(Structure(a, ref ts)) => unimplemented!(),
Aug 29 17:16:31.881 INFO kablam!    |                                       ^ help: consider using `_a` instead
Aug 29 17:16:31.881 INFO kablam! 
Aug 29 17:16:31.881 INFO kablam! warning: unused variable: `ts`
Aug 29 17:16:31.881 INFO kablam!   --> src/flat/compile/clause.rs:94:46
Aug 29 17:16:31.881 INFO kablam!    |
Aug 29 17:16:31.881 INFO kablam! 94 |             Term::Structure(Structure(a, ref ts)) => unimplemented!(),
Aug 29 17:16:31.881 INFO kablam!    |                                              ^^ help: consider using `_ts` instead
Aug 29 17:16:31.881 INFO kablam! 
Aug 29 17:16:31.881 INFO kablam! warning: unused variable: `vars`
Aug 29 17:16:31.881 INFO kablam!   --> src/flat/compile/clause.rs:87:5
Aug 29 17:16:31.881 INFO kablam!    |
Aug 29 17:16:31.881 INFO kablam! 87 |     vars: &mut HashMap<Variable, usize>,
Aug 29 17:16:31.881 INFO kablam!    |     ^^^^ help: consider using `_vars` instead
Aug 29 17:16:31.881 INFO kablam! 
Aug 29 17:16:31.893 INFO kablam! warning: unused variable: `n`
Aug 29 17:16:31.893 INFO kablam!    --> src/flat/mod.rs:164:29
Aug 29 17:16:31.893 INFO kablam!     |
Aug 29 17:16:31.894 INFO kablam! 164 |             Location::Local(n) => unimplemented!("index local"),
Aug 29 17:16:31.894 INFO kablam!     |                             ^ help: consider using `_n` instead
Aug 29 17:16:31.894 INFO kablam! 
Aug 29 17:16:31.894 INFO kablam! warning: unused variable: `n`
Aug 29 17:16:31.894 INFO kablam!    --> src/flat/mod.rs:210:29
Aug 29 17:16:31.894 INFO kablam!     |
Aug 29 17:16:31.894 INFO kablam! 210 |             Location::Local(n) => unimplemented!("index local"),
Aug 29 17:16:31.894 INFO kablam!     |                             ^ help: consider using `_n` instead
Aug 29 17:16:31.894 INFO kablam! 
Aug 29 17:16:32.573 INFO kablam! warning: function is never used: `compile_head`
Aug 29 17:16:32.573 INFO kablam!   --> src/flat/compile/clause.rs:67:1
Aug 29 17:16:32.573 INFO kablam!    |
Aug 29 17:16:32.573 INFO kablam! 67 | / fn compile_head(
Aug 29 17:16:32.573 INFO kablam! 68 | |     code: &mut Vec<Instruction>,
Aug 29 17:16:32.573 INFO kablam! 69 | |     seen: &mut HashSet<usize>,
Aug 29 17:16:32.573 INFO kablam! 70 | |     vars: &mut HashMap<Variable, Location>,
Aug 29 17:16:32.573 INFO kablam! ...  |
Aug 29 17:16:32.573 INFO kablam! 81 | |     }
Aug 29 17:16:32.573 INFO kablam! 82 | | }
Aug 29 17:16:32.573 INFO kablam!    | |_^
Aug 29 17:16:32.573 INFO kablam!    |
Aug 29 17:16:32.573 INFO kablam!    = note: #[warn(dead_code)] on by default
Aug 29 17:16:32.573 INFO kablam! 
Aug 29 17:16:32.573 INFO kablam! warning: function is never used: `compile_body`
Aug 29 17:16:32.573 INFO kablam!    --> src/flat/compile/clause.rs:84:1
Aug 29 17:16:32.573 INFO kablam!     |
Aug 29 17:16:32.573 INFO kablam! 84  | / fn compile_body(
Aug 29 17:16:32.573 INFO kablam! 85  | |     code: &mut Vec<Instruction>,
Aug 29 17:16:32.573 INFO kablam! 86  | |     seen_vars: &mut HashSet<Variable>,
Aug 29 17:16:32.573 INFO kablam! 87  | |     vars: &mut HashMap<Variable, usize>,
Aug 29 17:16:32.573 INFO kablam! ...   |
Aug 29 17:16:32.573 INFO kablam! 110 | |     code.push(Instruction::Call(s.functor()));
Aug 29 17:16:32.573 INFO kablam! 111 | | }
Aug 29 17:16:32.573 INFO kablam!     | |_^
Aug 29 17:16:32.573 INFO kablam! 
Aug 29 17:16:32.574 INFO kablam! warning: method is never used: `extract_term`
Aug 29 17:16:32.574 INFO kablam!   --> src/flat/store.rs:57:5
Aug 29 17:16:32.574 INFO kablam!    |
Aug 29 17:16:32.574 INFO kablam! 57 | /     pub fn extract_term(
Aug 29 17:16:32.574 INFO kablam! 58 | |         &self,
Aug 29 17:16:32.574 INFO kablam! 59 | |         idx: usize,
Aug 29 17:16:32.574 INFO kablam! 60 | |         names: Option<&HashMap<usize, Variable>>,
Aug 29 17:16:32.574 INFO kablam! ...  |
Aug 29 17:16:32.574 INFO kablam! 89 | |         }
Aug 29 17:16:32.574 INFO kablam! 90 | |     }
Aug 29 17:16:32.574 INFO kablam!    | |_____^
Aug 29 17:16:32.574 INFO kablam! 
Aug 29 17:16:32.611 INFO kablam! warning: missing documentation for a variant
Aug 29 17:16:32.611 INFO kablam!   --> src/flat/control.rs:38:5
Aug 29 17:16:32.611 INFO kablam!    |
Aug 29 17:16:32.611 INFO kablam! 38 |     GetValue(Location, usize),
Aug 29 17:16:32.611 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 29 17:16:32.611 INFO kablam!    |
Aug 29 17:16:32.611 INFO kablam! note: lint level defined here
Aug 29 17:16:32.611 INFO kablam!   --> src/lib.rs:6:9
Aug 29 17:16:32.611 INFO kablam!    |
Aug 29 17:16:32.611 INFO kablam! 6  | #![warn(missing_docs)]
Aug 29 17:16:32.611 INFO kablam!    |         ^^^^^^^^^^^^
Aug 29 17:16:32.611 INFO kablam! 
Aug 29 17:16:32.611 INFO kablam! warning: missing documentation for a variant
Aug 29 17:16:32.611 INFO kablam!   --> src/flat/control.rs:39:5
Aug 29 17:16:32.611 INFO kablam!    |
Aug 29 17:16:32.611 INFO kablam! 39 |     GetVariable(Location, usize),
Aug 29 17:16:32.612 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 29 17:16:32.612 INFO kablam! 
Aug 29 17:16:32.612 INFO kablam! warning: missing documentation for a variant
Aug 29 17:16:32.612 INFO kablam!   --> src/flat/control.rs:45:5
Aug 29 17:16:32.612 INFO kablam!    |
Aug 29 17:16:32.612 INFO kablam! 45 |     PutValue(Location, usize),
Aug 29 17:16:32.612 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 29 17:16:32.612 INFO kablam! 
Aug 29 17:16:32.612 INFO kablam! warning: missing documentation for a variant
Aug 29 17:16:32.612 INFO kablam!   --> src/flat/control.rs:46:5
Aug 29 17:16:32.612 INFO kablam!    |
Aug 29 17:16:32.612 INFO kablam! 46 |     PutVariable(Location, usize),
Aug 29 17:16:32.612 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 29 17:16:32.612 INFO kablam! 
Aug 29 17:16:33.229 INFO kablam! warning: use of deprecated item 'std::env::home_dir': This function's behavior is unexpected and probably not what you want. Consider using the home_dir function from https://crates.io/crates/dirs instead.
Aug 29 17:16:33.229 INFO kablam!   --> src/bin/main.rs:44:5
Aug 29 17:16:33.229 INFO kablam!    |
Aug 29 17:16:33.229 INFO kablam! 44 |     std::env::home_dir()
Aug 29 17:16:33.230 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^
Aug 29 17:16:33.230 INFO kablam!    |
Aug 29 17:16:33.230 INFO kablam!    = note: #[warn(deprecated)] on by default
Aug 29 17:16:33.230 INFO kablam! 
Aug 29 17:16:35.219 INFO kablam! warning: use of deprecated item 'std::env::home_dir': This function's behavior is unexpected and probably not what you want. Consider using the home_dir function from https://crates.io/crates/dirs instead.
Aug 29 17:16:35.219 INFO kablam!   --> src/bin/main.rs:44:5
Aug 29 17:16:35.219 INFO kablam!    |
Aug 29 17:16:35.219 INFO kablam! 44 |     std::env::home_dir()
Aug 29 17:16:35.219 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^
Aug 29 17:16:35.219 INFO kablam!    |
Aug 29 17:16:35.219 INFO kablam!    = note: #[warn(deprecated)] on by default
Aug 29 17:16:35.219 INFO kablam! 
Aug 29 17:16:37.700 INFO kablam! warning: unused variable: `head`
Aug 29 17:16:37.700 INFO kablam!   --> src/flat/compile/clause.rs:35:28
Aug 29 17:16:37.700 INFO kablam!    |
Aug 29 17:16:37.700 INFO kablam! 35 |     let body = if let Some(head) = head {
Aug 29 17:16:37.700 INFO kablam!    |                            ^^^^ help: consider using `_head` instead
Aug 29 17:16:37.700 INFO kablam!    |
Aug 29 17:16:37.700 INFO kablam!    = note: #[warn(unused_variables)] on by default
Aug 29 17:16:37.700 INFO kablam! 
Aug 29 17:16:37.700 INFO kablam! warning: unused variable: `s`
Aug 29 17:16:37.700 INFO kablam!   --> src/flat/compile/clause.rs:56:9
Aug 29 17:16:37.700 INFO kablam!    |
Aug 29 17:16:37.700 INFO kablam! 56 |     for s in body {
Aug 29 17:16:37.700 INFO kablam!    |         ^ help: consider using `_s` instead
Aug 29 17:16:37.700 INFO kablam! 
Aug 29 17:16:37.700 INFO kablam! warning: unused variable: `i`
Aug 29 17:16:37.701 INFO kablam!   --> src/flat/compile/clause.rs:74:10
Aug 29 17:16:37.701 INFO kablam!    |
Aug 29 17:16:37.701 INFO kablam! 74 |     for (i, f) in flatten(s).into_iter().enumerate() {
Aug 29 17:16:37.701 INFO kablam!    |          ^ help: consider using `_i` instead
Aug 29 17:16:37.701 INFO kablam! 
Aug 29 17:16:37.701 INFO kablam! warning: unused variable: `a`
Aug 29 17:16:37.701 INFO kablam!   --> src/flat/compile/clause.rs:76:31
Aug 29 17:16:37.701 INFO kablam!    |
Aug 29 17:16:37.701 INFO kablam! 76 |             FlatTerm::Functor(a, is) => unimplemented!(),
Aug 29 17:16:37.701 INFO kablam!    |                               ^ help: consider using `_a` instead
Aug 29 17:16:37.701 INFO kablam! 
Aug 29 17:16:37.701 INFO kablam! warning: unused variable: `is`
Aug 29 17:16:37.701 INFO kablam!   --> src/flat/compile/clause.rs:76:34
Aug 29 17:16:37.701 INFO kablam!    |
Aug 29 17:16:37.701 INFO kablam! 76 |             FlatTerm::Functor(a, is) => unimplemented!(),
Aug 29 17:16:37.701 INFO kablam!    |                                  ^^ help: consider using `_is` instead
Aug 29 17:16:37.701 INFO kablam! 
Aug 29 17:16:37.701 INFO kablam! warning: unused variable: `n`
Aug 29 17:16:37.701 INFO kablam!   --> src/flat/compile/clause.rs:77:27
Aug 29 17:16:37.701 INFO kablam!    |
Aug 29 17:16:37.701 INFO kablam! 77 |             FlatTerm::Ref(n) => unimplemented!(),
Aug 29 17:16:37.701 INFO kablam!    |                           ^ help: consider using `_n` instead
Aug 29 17:16:37.701 INFO kablam! 
Aug 29 17:16:37.701 INFO kablam! warning: unused variable: `v`
Aug 29 17:16:37.701 INFO kablam!   --> src/flat/compile/clause.rs:78:37
Aug 29 17:16:37.701 INFO kablam!    |
Aug 29 17:16:37.701 INFO kablam! 78 |             FlatTerm::Variable(Some(v)) => unimplemented!(),
Aug 29 17:16:37.701 INFO kablam!    |                                     ^ help: consider using `_v` instead
Aug 29 17:16:37.701 INFO kablam! 
Aug 29 17:16:37.701 INFO kablam! warning: unused variable: `code`
Aug 29 17:16:37.701 INFO kablam!   --> src/flat/compile/clause.rs:68:5
Aug 29 17:16:37.702 INFO kablam!    |
Aug 29 17:16:37.702 INFO kablam! 68 |     code: &mut Vec<Instruction>,
Aug 29 17:16:37.702 INFO kablam!    |     ^^^^ help: consider using `_code` instead
Aug 29 17:16:37.702 INFO kablam! 
Aug 29 17:16:37.702 INFO kablam! warning: unused variable: `seen`
Aug 29 17:16:37.702 INFO kablam!   --> src/flat/compile/clause.rs:69:5
Aug 29 17:16:37.702 INFO kablam!    |
Aug 29 17:16:37.702 INFO kablam! 69 |     seen: &mut HashSet<usize>,
Aug 29 17:16:37.702 INFO kablam!    |     ^^^^ help: consider using `_seen` instead
Aug 29 17:16:37.702 INFO kablam! 
Aug 29 17:16:37.702 INFO kablam! warning: unused variable: `vars`
Aug 29 17:16:37.702 INFO kablam!   --> src/flat/compile/clause.rs:70:5
Aug 29 17:16:37.702 INFO kablam!    |
Aug 29 17:16:37.702 INFO kablam! 70 |     vars: &mut HashMap<Variable, Location>,
Aug 29 17:16:37.702 INFO kablam!    |     ^^^^ help: consider using `_vars` instead
Aug 29 17:16:37.702 INFO kablam! 
Aug 29 17:16:37.702 INFO kablam! warning: unused variable: `permanent`
Aug 29 17:16:37.702 INFO kablam!   --> src/flat/compile/clause.rs:71:5
Aug 29 17:16:37.702 INFO kablam!    |
Aug 29 17:16:37.702 INFO kablam! 71 |     permanent: &HashMap<Variable, usize>,
Aug 29 17:16:37.702 INFO kablam!    |     ^^^^^^^^^ help: consider using `_permanent` instead
Aug 29 17:16:37.702 INFO kablam! 
Aug 29 17:16:37.702 INFO kablam! warning: unused variable: `a`
Aug 29 17:16:37.702 INFO kablam!   --> src/flat/compile/clause.rs:94:39
Aug 29 17:16:37.702 INFO kablam!    |
Aug 29 17:16:37.702 INFO kablam! 94 |             Term::Structure(Structure(a, ref ts)) => unimplemented!(),
Aug 29 17:16:37.702 INFO kablam!    |                                       ^ help: consider using `_a` instead
Aug 29 17:16:37.702 INFO kablam! 
Aug 29 17:16:37.702 INFO kablam! warning: unused variable: `ts`
Aug 29 17:16:37.702 INFO kablam!   --> src/flat/compile/clause.rs:94:46
Aug 29 17:16:37.702 INFO kablam!    |
Aug 29 17:16:37.703 INFO kablam! 94 |             Term::Structure(Structure(a, ref ts)) => unimplemented!(),
Aug 29 17:16:37.703 INFO kablam!    |                                              ^^ help: consider using `_ts` instead
Aug 29 17:16:37.703 INFO kablam! 
Aug 29 17:16:37.703 INFO kablam! warning: unused variable: `vars`
Aug 29 17:16:37.703 INFO kablam!   --> src/flat/compile/clause.rs:87:5
Aug 29 17:16:37.703 INFO kablam!    |
Aug 29 17:16:37.703 INFO kablam! 87 |     vars: &mut HashMap<Variable, usize>,
Aug 29 17:16:37.703 INFO kablam!    |     ^^^^ help: consider using `_vars` instead
Aug 29 17:16:37.703 INFO kablam! 
Aug 29 17:16:37.715 INFO kablam! warning: unused variable: `n`
Aug 29 17:16:37.715 INFO kablam!    --> src/flat/mod.rs:164:29
Aug 29 17:16:37.715 INFO kablam!     |
Aug 29 17:16:37.715 INFO kablam! 164 |             Location::Local(n) => unimplemented!("index local"),
Aug 29 17:16:37.715 INFO kablam!     |                             ^ help: consider using `_n` instead
Aug 29 17:16:37.715 INFO kablam! 
Aug 29 17:16:37.715 INFO kablam! warning: unused variable: `n`
Aug 29 17:16:37.715 INFO kablam!    --> src/flat/mod.rs:210:29
Aug 29 17:16:37.715 INFO kablam!     |
Aug 29 17:16:37.715 INFO kablam! 210 |             Location::Local(n) => unimplemented!("index local"),
Aug 29 17:16:37.715 INFO kablam!     |                             ^ help: consider using `_n` instead
Aug 29 17:16:37.715 INFO kablam! 
Aug 29 17:16:38.642 INFO kablam! warning: function is never used: `compile_head`
Aug 29 17:16:38.642 INFO kablam!   --> src/flat/compile/clause.rs:67:1
Aug 29 17:16:38.642 INFO kablam!    |
Aug 29 17:16:38.642 INFO kablam! 67 | / fn compile_head(
Aug 29 17:16:38.642 INFO kablam! 68 | |     code: &mut Vec<Instruction>,
Aug 29 17:16:38.642 INFO kablam! 69 | |     seen: &mut HashSet<usize>,
Aug 29 17:16:38.642 INFO kablam! 70 | |     vars: &mut HashMap<Variable, Location>,
Aug 29 17:16:38.642 INFO kablam! ...  |
Aug 29 17:16:38.642 INFO kablam! 81 | |     }
Aug 29 17:16:38.642 INFO kablam! 82 | | }
Aug 29 17:16:38.642 INFO kablam!    | |_^
Aug 29 17:16:38.642 INFO kablam!    |
Aug 29 17:16:38.642 INFO kablam!    = note: #[warn(dead_code)] on by default
Aug 29 17:16:38.642 INFO kablam! 
Aug 29 17:16:38.643 INFO kablam! warning: function is never used: `compile_body`
Aug 29 17:16:38.643 INFO kablam!    --> src/flat/compile/clause.rs:84:1
Aug 29 17:16:38.643 INFO kablam!     |
Aug 29 17:16:38.643 INFO kablam! 84  | / fn compile_body(
Aug 29 17:16:38.643 INFO kablam! 85  | |     code: &mut Vec<Instruction>,
Aug 29 17:16:38.643 INFO kablam! 86  | |     seen_vars: &mut HashSet<Variable>,
Aug 29 17:16:38.643 INFO kablam! 87  | |     vars: &mut HashMap<Variable, usize>,
Aug 29 17:16:38.643 INFO kablam! ...   |
Aug 29 17:16:38.644 INFO kablam! 110 | |     code.push(Instruction::Call(s.functor()));
Aug 29 17:16:38.644 INFO kablam! 111 | | }
Aug 29 17:16:38.644 INFO kablam!     | |_^
Aug 29 17:16:38.644 INFO kablam! 
Aug 29 17:16:38.644 INFO kablam! warning: method is never used: `extract_term`
Aug 29 17:16:38.644 INFO kablam!   --> src/flat/store.rs:57:5
Aug 29 17:16:38.644 INFO kablam!    |
Aug 29 17:16:38.644 INFO kablam! 57 | /     pub fn extract_term(
Aug 29 17:16:38.644 INFO kablam! 58 | |         &self,
Aug 29 17:16:38.644 INFO kablam! 59 | |         idx: usize,
Aug 29 17:16:38.644 INFO kablam! 60 | |         names: Option<&HashMap<usize, Variable>>,
Aug 29 17:16:38.644 INFO kablam! ...  |
Aug 29 17:16:38.644 INFO kablam! 89 | |         }
Aug 29 17:16:38.644 INFO kablam! 90 | |     }
Aug 29 17:16:38.644 INFO kablam!    | |_____^
Aug 29 17:16:38.644 INFO kablam! 
Aug 29 17:16:38.796 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 44.58s
Aug 29 17:16:38.807 INFO kablam! su: No module specific data is present
Aug 29 17:16:39.314 INFO running `"docker" "rm" "-f" "a0f9e317a121d5ba70fc48a2eb21d2a619ea7115a86ae0e0dbd309d8c06f2ab4"`
Aug 29 17:16:39.473 INFO blam! a0f9e317a121d5ba70fc48a2eb21d2a619ea7115a86ae0e0dbd309d8c06f2ab4