Sep 01 13:21:55.648 INFO checking remexre/wam-tutorial-reconstruction against master#1114ab684fbad001c4e580326d8eb4d8c4e917d3 for pr-53851
Sep 01 13:21:55.648 INFO running: cargo +1114ab684fbad001c4e580326d8eb4d8c4e917d3-alt check --frozen --all --all-targets
Sep 01 13:21:55.648 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-53851/master#1114ab684fbad001c4e580326d8eb4d8c4e917d3:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53851/worker-1/master#1114ab684fbad001c4e580326d8eb4d8c4e917d3:/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 +1114ab684fbad001c4e580326d8eb4d8c4e917d3-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"`
Sep 01 13:21:55.914 INFO blam! 8973e768f4f40f71291a9b7ae985bd94603de943dbb0ecfdf9a6b404de06df65
Sep 01 13:21:55.916 INFO running `"docker" "start" "-a" "8973e768f4f40f71291a9b7ae985bd94603de943dbb0ecfdf9a6b404de06df65"`
Sep 01 13:21:56.871 INFO kablam! warning: An explicit [[bin]] section is specified in Cargo.toml which currently
Sep 01 13:21:56.871 INFO kablam! disables Cargo from automatically inferring other binary targets.
Sep 01 13:21:56.871 INFO kablam! This inference behavior will change in the Rust 2018 edition and the following
Sep 01 13:21:56.871 INFO kablam! files will be included as a binary target:
Sep 01 13:21:56.871 INFO kablam! 
Sep 01 13:21:56.871 INFO kablam! * /source/src/bin/logger.rs
Sep 01 13:21:56.871 INFO kablam! * /source/src/bin/options.rs
Sep 01 13:21:56.871 INFO kablam! 
Sep 01 13:21:56.871 INFO kablam! This is likely to break cargo build or cargo test as these files may not be
Sep 01 13:21:56.871 INFO kablam! ready to be compiled as a binary target today. You can future-proof yourself
Sep 01 13:21:56.871 INFO kablam! and disable this warning by adding `autobins = false` to your [package]
Sep 01 13:21:56.871 INFO kablam! section. You may also move the files to a location where Cargo would not
Sep 01 13:21:56.871 INFO kablam! automatically infer them to be a target, such as in subfolders.
Sep 01 13:21:56.871 INFO kablam! 
Sep 01 13:21:56.871 INFO kablam! For more information on this warning you can consult
Sep 01 13:21:56.872 INFO kablam! https://github.com/rust-lang/cargo/issues/5330
Sep 01 13:21:57.064 INFO kablam!     Checking bit-vec v0.4.4
Sep 01 13:21:57.064 INFO kablam!     Checking spin v0.4.6
Sep 01 13:21:57.077 INFO kablam!    Compiling proc-macro2 v0.2.3
Sep 01 13:21:57.087 INFO kablam!     Checking memchr v1.0.2
Sep 01 13:21:57.090 INFO kablam!     Checking regex-syntax v0.5.0
Sep 01 13:21:57.093 INFO kablam!    Compiling nix v0.7.0
Sep 01 13:21:57.096 INFO kablam!     Checking thread_local v0.3.5
Sep 01 13:21:57.107 INFO kablam!     Checking failure v0.1.1
Sep 01 13:21:58.335 INFO kablam!     Checking symbol v0.1.1
Sep 01 13:21:58.712 INFO kablam!     Checking nom v3.2.1
Sep 01 13:22:00.793 INFO kablam!     Checking bit-set v0.4.0
Sep 01 13:22:02.774 INFO kablam!     Checking proptest v0.5.1
Sep 01 13:22:10.565 INFO kablam!    Compiling quote v0.4.2
Sep 01 13:22:13.227 INFO kablam!    Compiling syn v0.12.13
Sep 01 13:22:17.804 INFO kablam!     Checking linefeed v0.4.0
Sep 01 13:22:19.471 INFO kablam!     Checking regex v0.2.7
Sep 01 13:22:33.682 INFO kablam!    Compiling structopt-derive v0.2.5
Sep 01 13:22:38.520 INFO kablam!     Checking structopt v0.2.5
Sep 01 13:22:38.980 INFO kablam!     Checking wam-tutorial-reconstruction v0.1.0 (file:///source)
Sep 01 13:22:41.891 INFO kablam! warning: unused variable: `head`
Sep 01 13:22:41.891 INFO kablam!   --> src/flat/compile/clause.rs:35:28
Sep 01 13:22:41.891 INFO kablam!    |
Sep 01 13:22:41.891 INFO kablam! 35 |     let body = if let Some(head) = head {
Sep 01 13:22:41.891 INFO kablam!    |                            ^^^^ help: consider using `_head` instead
Sep 01 13:22:41.891 INFO kablam!    |
Sep 01 13:22:41.891 INFO kablam!    = note: #[warn(unused_variables)] on by default
Sep 01 13:22:41.891 INFO kablam! 
Sep 01 13:22:41.893 INFO kablam! warning: unused variable: `s`
Sep 01 13:22:41.893 INFO kablam!   --> src/flat/compile/clause.rs:56:9
Sep 01 13:22:41.893 INFO kablam!    |
Sep 01 13:22:41.893 INFO kablam! 56 |     for s in body {
Sep 01 13:22:41.893 INFO kablam!    |         ^ help: consider using `_s` instead
Sep 01 13:22:41.893 INFO kablam! 
Sep 01 13:22:41.893 INFO kablam! warning: unused variable: `i`
Sep 01 13:22:41.893 INFO kablam!   --> src/flat/compile/clause.rs:74:10
Sep 01 13:22:41.893 INFO kablam!    |
Sep 01 13:22:41.893 INFO kablam! 74 |     for (i, f) in flatten(s).into_iter().enumerate() {
Sep 01 13:22:41.893 INFO kablam!    |          ^ help: consider using `_i` instead
Sep 01 13:22:41.893 INFO kablam! 
Sep 01 13:22:41.893 INFO kablam! warning: unused variable: `a`
Sep 01 13:22:41.893 INFO kablam!   --> src/flat/compile/clause.rs:76:31
Sep 01 13:22:41.893 INFO kablam!    |
Sep 01 13:22:41.893 INFO kablam! 76 |             FlatTerm::Functor(a, is) => unimplemented!(),
Sep 01 13:22:41.893 INFO kablam!    |                               ^ help: consider using `_a` instead
Sep 01 13:22:41.893 INFO kablam! 
Sep 01 13:22:41.893 INFO kablam! warning: unused variable: `is`
Sep 01 13:22:41.893 INFO kablam!   --> src/flat/compile/clause.rs:76:34
Sep 01 13:22:41.893 INFO kablam!    |
Sep 01 13:22:41.893 INFO kablam! 76 |             FlatTerm::Functor(a, is) => unimplemented!(),
Sep 01 13:22:41.893 INFO kablam!    |                                  ^^ help: consider using `_is` instead
Sep 01 13:22:41.893 INFO kablam! 
Sep 01 13:22:41.893 INFO kablam! warning: unused variable: `n`
Sep 01 13:22:41.893 INFO kablam!   --> src/flat/compile/clause.rs:77:27
Sep 01 13:22:41.893 INFO kablam!    |
Sep 01 13:22:41.894 INFO kablam! 77 |             FlatTerm::Ref(n) => unimplemented!(),
Sep 01 13:22:41.894 INFO kablam!    |                           ^ help: consider using `_n` instead
Sep 01 13:22:41.894 INFO kablam! 
Sep 01 13:22:41.894 INFO kablam! warning: unused variable: `v`
Sep 01 13:22:41.894 INFO kablam!   --> src/flat/compile/clause.rs:78:37
Sep 01 13:22:41.894 INFO kablam!    |
Sep 01 13:22:41.894 INFO kablam! 78 |             FlatTerm::Variable(Some(v)) => unimplemented!(),
Sep 01 13:22:41.894 INFO kablam!    |                                     ^ help: consider using `_v` instead
Sep 01 13:22:41.894 INFO kablam! 
Sep 01 13:22:41.894 INFO kablam! warning: unused variable: `code`
Sep 01 13:22:41.894 INFO kablam!   --> src/flat/compile/clause.rs:68:5
Sep 01 13:22:41.894 INFO kablam!    |
Sep 01 13:22:41.894 INFO kablam! 68 |     code: &mut Vec<Instruction>,
Sep 01 13:22:41.894 INFO kablam!    |     ^^^^ help: consider using `_code` instead
Sep 01 13:22:41.894 INFO kablam! 
Sep 01 13:22:41.894 INFO kablam! warning: unused variable: `seen`
Sep 01 13:22:41.894 INFO kablam!   --> src/flat/compile/clause.rs:69:5
Sep 01 13:22:41.894 INFO kablam!    |
Sep 01 13:22:41.894 INFO kablam! 69 |     seen: &mut HashSet<usize>,
Sep 01 13:22:41.894 INFO kablam!    |     ^^^^ help: consider using `_seen` instead
Sep 01 13:22:41.894 INFO kablam! 
Sep 01 13:22:41.894 INFO kablam! warning: unused variable: `vars`
Sep 01 13:22:41.894 INFO kablam!   --> src/flat/compile/clause.rs:70:5
Sep 01 13:22:41.894 INFO kablam!    |
Sep 01 13:22:41.894 INFO kablam! 70 |     vars: &mut HashMap<Variable, Location>,
Sep 01 13:22:41.894 INFO kablam!    |     ^^^^ help: consider using `_vars` instead
Sep 01 13:22:41.894 INFO kablam! 
Sep 01 13:22:41.894 INFO kablam! warning: unused variable: `permanent`
Sep 01 13:22:41.895 INFO kablam!   --> src/flat/compile/clause.rs:71:5
Sep 01 13:22:41.895 INFO kablam!    |
Sep 01 13:22:41.895 INFO kablam! 71 |     permanent: &HashMap<Variable, usize>,
Sep 01 13:22:41.895 INFO kablam!    |     ^^^^^^^^^ help: consider using `_permanent` instead
Sep 01 13:22:41.895 INFO kablam! 
Sep 01 13:22:41.895 INFO kablam! warning: unused variable: `a`
Sep 01 13:22:41.895 INFO kablam!   --> src/flat/compile/clause.rs:94:39
Sep 01 13:22:41.895 INFO kablam!    |
Sep 01 13:22:41.895 INFO kablam! 94 |             Term::Structure(Structure(a, ref ts)) => unimplemented!(),
Sep 01 13:22:41.895 INFO kablam!    |                                       ^ help: consider using `_a` instead
Sep 01 13:22:41.895 INFO kablam! 
Sep 01 13:22:41.895 INFO kablam! warning: unused variable: `ts`
Sep 01 13:22:41.895 INFO kablam!   --> src/flat/compile/clause.rs:94:46
Sep 01 13:22:41.895 INFO kablam!    |
Sep 01 13:22:41.895 INFO kablam! 94 |             Term::Structure(Structure(a, ref ts)) => unimplemented!(),
Sep 01 13:22:41.895 INFO kablam!    |                                              ^^ help: consider using `_ts` instead
Sep 01 13:22:41.895 INFO kablam! 
Sep 01 13:22:41.895 INFO kablam! warning: unused variable: `vars`
Sep 01 13:22:41.895 INFO kablam!   --> src/flat/compile/clause.rs:87:5
Sep 01 13:22:41.895 INFO kablam!    |
Sep 01 13:22:41.895 INFO kablam! 87 |     vars: &mut HashMap<Variable, usize>,
Sep 01 13:22:41.895 INFO kablam!    |     ^^^^ help: consider using `_vars` instead
Sep 01 13:22:41.895 INFO kablam! 
Sep 01 13:22:41.904 INFO kablam! warning: unused variable: `n`
Sep 01 13:22:41.905 INFO kablam!    --> src/flat/mod.rs:164:29
Sep 01 13:22:41.905 INFO kablam!     |
Sep 01 13:22:41.905 INFO kablam! 164 |             Location::Local(n) => unimplemented!("index local"),
Sep 01 13:22:41.905 INFO kablam!     |                             ^ help: consider using `_n` instead
Sep 01 13:22:41.905 INFO kablam! 
Sep 01 13:22:41.905 INFO kablam! warning: unused variable: `n`
Sep 01 13:22:41.905 INFO kablam!    --> src/flat/mod.rs:210:29
Sep 01 13:22:41.905 INFO kablam!     |
Sep 01 13:22:41.905 INFO kablam! 210 |             Location::Local(n) => unimplemented!("index local"),
Sep 01 13:22:41.905 INFO kablam!     |                             ^ help: consider using `_n` instead
Sep 01 13:22:41.905 INFO kablam! 
Sep 01 13:22:42.698 INFO kablam! warning: function is never used: `compile_head`
Sep 01 13:22:42.698 INFO kablam!   --> src/flat/compile/clause.rs:67:1
Sep 01 13:22:42.698 INFO kablam!    |
Sep 01 13:22:42.698 INFO kablam! 67 | / fn compile_head(
Sep 01 13:22:42.698 INFO kablam! 68 | |     code: &mut Vec<Instruction>,
Sep 01 13:22:42.698 INFO kablam! 69 | |     seen: &mut HashSet<usize>,
Sep 01 13:22:42.698 INFO kablam! 70 | |     vars: &mut HashMap<Variable, Location>,
Sep 01 13:22:42.698 INFO kablam! ...  |
Sep 01 13:22:42.698 INFO kablam! 81 | |     }
Sep 01 13:22:42.698 INFO kablam! 82 | | }
Sep 01 13:22:42.698 INFO kablam!    | |_^
Sep 01 13:22:42.698 INFO kablam!    |
Sep 01 13:22:42.698 INFO kablam!    = note: #[warn(dead_code)] on by default
Sep 01 13:22:42.699 INFO kablam! 
Sep 01 13:22:42.699 INFO kablam! warning: function is never used: `compile_body`
Sep 01 13:22:42.699 INFO kablam!    --> src/flat/compile/clause.rs:84:1
Sep 01 13:22:42.699 INFO kablam!     |
Sep 01 13:22:42.699 INFO kablam! 84  | / fn compile_body(
Sep 01 13:22:42.700 INFO kablam! 85  | |     code: &mut Vec<Instruction>,
Sep 01 13:22:42.700 INFO kablam! 86  | |     seen_vars: &mut HashSet<Variable>,
Sep 01 13:22:42.700 INFO kablam! 87  | |     vars: &mut HashMap<Variable, usize>,
Sep 01 13:22:42.700 INFO kablam! ...   |
Sep 01 13:22:42.700 INFO kablam! 110 | |     code.push(Instruction::Call(s.functor()));
Sep 01 13:22:42.700 INFO kablam! 111 | | }
Sep 01 13:22:42.700 INFO kablam!     | |_^
Sep 01 13:22:42.700 INFO kablam! 
Sep 01 13:22:42.700 INFO kablam! warning: method is never used: `extract_term`
Sep 01 13:22:42.700 INFO kablam!   --> src/flat/store.rs:57:5
Sep 01 13:22:42.700 INFO kablam!    |
Sep 01 13:22:42.700 INFO kablam! 57 | /     pub fn extract_term(
Sep 01 13:22:42.700 INFO kablam! 58 | |         &self,
Sep 01 13:22:42.700 INFO kablam! 59 | |         idx: usize,
Sep 01 13:22:42.700 INFO kablam! 60 | |         names: Option<&HashMap<usize, Variable>>,
Sep 01 13:22:42.700 INFO kablam! ...  |
Sep 01 13:22:42.700 INFO kablam! 89 | |         }
Sep 01 13:22:42.700 INFO kablam! 90 | |     }
Sep 01 13:22:42.700 INFO kablam!    | |_____^
Sep 01 13:22:42.700 INFO kablam! 
Sep 01 13:22:42.738 INFO kablam! warning: missing documentation for a variant
Sep 01 13:22:42.738 INFO kablam!   --> src/flat/control.rs:38:5
Sep 01 13:22:42.738 INFO kablam!    |
Sep 01 13:22:42.738 INFO kablam! 38 |     GetValue(Location, usize),
Sep 01 13:22:42.738 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
Sep 01 13:22:42.739 INFO kablam!    |
Sep 01 13:22:42.739 INFO kablam! note: lint level defined here
Sep 01 13:22:42.739 INFO kablam!   --> src/lib.rs:6:9
Sep 01 13:22:42.739 INFO kablam!    |
Sep 01 13:22:42.739 INFO kablam! 6  | #![warn(missing_docs)]
Sep 01 13:22:42.739 INFO kablam!    |         ^^^^^^^^^^^^
Sep 01 13:22:42.739 INFO kablam! 
Sep 01 13:22:42.739 INFO kablam! warning: missing documentation for a variant
Sep 01 13:22:42.739 INFO kablam!   --> src/flat/control.rs:39:5
Sep 01 13:22:42.739 INFO kablam!    |
Sep 01 13:22:42.739 INFO kablam! 39 |     GetVariable(Location, usize),
Sep 01 13:22:42.739 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Sep 01 13:22:42.739 INFO kablam! 
Sep 01 13:22:42.739 INFO kablam! warning: missing documentation for a variant
Sep 01 13:22:42.739 INFO kablam!   --> src/flat/control.rs:45:5
Sep 01 13:22:42.739 INFO kablam!    |
Sep 01 13:22:42.739 INFO kablam! 45 |     PutValue(Location, usize),
Sep 01 13:22:42.739 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
Sep 01 13:22:42.739 INFO kablam! 
Sep 01 13:22:42.739 INFO kablam! warning: missing documentation for a variant
Sep 01 13:22:42.739 INFO kablam!   --> src/flat/control.rs:46:5
Sep 01 13:22:42.739 INFO kablam!    |
Sep 01 13:22:42.740 INFO kablam! 46 |     PutVariable(Location, usize),
Sep 01 13:22:42.740 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Sep 01 13:22:42.740 INFO kablam! 
Sep 01 13:22:43.086 INFO kablam! warning: unused variable: `head`
Sep 01 13:22:43.086 INFO kablam!   --> src/flat/compile/clause.rs:35:28
Sep 01 13:22:43.086 INFO kablam!    |
Sep 01 13:22:43.086 INFO kablam! 35 |     let body = if let Some(head) = head {
Sep 01 13:22:43.086 INFO kablam!    |                            ^^^^ help: consider using `_head` instead
Sep 01 13:22:43.086 INFO kablam!    |
Sep 01 13:22:43.086 INFO kablam!    = note: #[warn(unused_variables)] on by default
Sep 01 13:22:43.086 INFO kablam! 
Sep 01 13:22:43.087 INFO kablam! warning: unused variable: `s`
Sep 01 13:22:43.087 INFO kablam!   --> src/flat/compile/clause.rs:56:9
Sep 01 13:22:43.087 INFO kablam!    |
Sep 01 13:22:43.087 INFO kablam! 56 |     for s in body {
Sep 01 13:22:43.087 INFO kablam!    |         ^ help: consider using `_s` instead
Sep 01 13:22:43.087 INFO kablam! 
Sep 01 13:22:43.088 INFO kablam! warning: unused variable: `i`
Sep 01 13:22:43.088 INFO kablam!   --> src/flat/compile/clause.rs:74:10
Sep 01 13:22:43.088 INFO kablam!    |
Sep 01 13:22:43.088 INFO kablam! 74 |     for (i, f) in flatten(s).into_iter().enumerate() {
Sep 01 13:22:43.088 INFO kablam!    |          ^ help: consider using `_i` instead
Sep 01 13:22:43.088 INFO kablam! 
Sep 01 13:22:43.088 INFO kablam! warning: unused variable: `a`
Sep 01 13:22:43.088 INFO kablam!   --> src/flat/compile/clause.rs:76:31
Sep 01 13:22:43.088 INFO kablam!    |
Sep 01 13:22:43.088 INFO kablam! 76 |             FlatTerm::Functor(a, is) => unimplemented!(),
Sep 01 13:22:43.088 INFO kablam!    |                               ^ help: consider using `_a` instead
Sep 01 13:22:43.088 INFO kablam! 
Sep 01 13:22:43.088 INFO kablam! warning: unused variable: `is`
Sep 01 13:22:43.088 INFO kablam!   --> src/flat/compile/clause.rs:76:34
Sep 01 13:22:43.088 INFO kablam!    |
Sep 01 13:22:43.088 INFO kablam! 76 |             FlatTerm::Functor(a, is) => unimplemented!(),
Sep 01 13:22:43.088 INFO kablam!    |                                  ^^ help: consider using `_is` instead
Sep 01 13:22:43.088 INFO kablam! 
Sep 01 13:22:43.088 INFO kablam! warning: unused variable: `n`
Sep 01 13:22:43.088 INFO kablam!   --> src/flat/compile/clause.rs:77:27
Sep 01 13:22:43.088 INFO kablam!    |
Sep 01 13:22:43.088 INFO kablam! 77 |             FlatTerm::Ref(n) => unimplemented!(),
Sep 01 13:22:43.088 INFO kablam!    |                           ^ help: consider using `_n` instead
Sep 01 13:22:43.089 INFO kablam! 
Sep 01 13:22:43.089 INFO kablam! warning: unused variable: `v`
Sep 01 13:22:43.089 INFO kablam!   --> src/flat/compile/clause.rs:78:37
Sep 01 13:22:43.089 INFO kablam!    |
Sep 01 13:22:43.089 INFO kablam! 78 |             FlatTerm::Variable(Some(v)) => unimplemented!(),
Sep 01 13:22:43.089 INFO kablam!    |                                     ^ help: consider using `_v` instead
Sep 01 13:22:43.089 INFO kablam! 
Sep 01 13:22:43.089 INFO kablam! warning: unused variable: `code`
Sep 01 13:22:43.089 INFO kablam!   --> src/flat/compile/clause.rs:68:5
Sep 01 13:22:43.089 INFO kablam!    |
Sep 01 13:22:43.089 INFO kablam! 68 |     code: &mut Vec<Instruction>,
Sep 01 13:22:43.089 INFO kablam!    |     ^^^^ help: consider using `_code` instead
Sep 01 13:22:43.089 INFO kablam! 
Sep 01 13:22:43.089 INFO kablam! warning: unused variable: `seen`
Sep 01 13:22:43.089 INFO kablam!   --> src/flat/compile/clause.rs:69:5
Sep 01 13:22:43.089 INFO kablam!    |
Sep 01 13:22:43.089 INFO kablam! 69 |     seen: &mut HashSet<usize>,
Sep 01 13:22:43.089 INFO kablam!    |     ^^^^ help: consider using `_seen` instead
Sep 01 13:22:43.089 INFO kablam! 
Sep 01 13:22:43.089 INFO kablam! warning: unused variable: `vars`
Sep 01 13:22:43.089 INFO kablam!   --> src/flat/compile/clause.rs:70:5
Sep 01 13:22:43.089 INFO kablam!    |
Sep 01 13:22:43.090 INFO kablam! 70 |     vars: &mut HashMap<Variable, Location>,
Sep 01 13:22:43.090 INFO kablam!    |     ^^^^ help: consider using `_vars` instead
Sep 01 13:22:43.090 INFO kablam! 
Sep 01 13:22:43.090 INFO kablam! warning: unused variable: `permanent`
Sep 01 13:22:43.090 INFO kablam!   --> src/flat/compile/clause.rs:71:5
Sep 01 13:22:43.090 INFO kablam!    |
Sep 01 13:22:43.090 INFO kablam! 71 |     permanent: &HashMap<Variable, usize>,
Sep 01 13:22:43.090 INFO kablam!    |     ^^^^^^^^^ help: consider using `_permanent` instead
Sep 01 13:22:43.090 INFO kablam! 
Sep 01 13:22:43.103 INFO kablam! warning: unused variable: `a`
Sep 01 13:22:43.103 INFO kablam!   --> src/flat/compile/clause.rs:94:39
Sep 01 13:22:43.103 INFO kablam!    |
Sep 01 13:22:43.103 INFO kablam! 94 |             Term::Structure(Structure(a, ref ts)) => unimplemented!(),
Sep 01 13:22:43.103 INFO kablam!    |                                       ^ help: consider using `_a` instead
Sep 01 13:22:43.103 INFO kablam! 
Sep 01 13:22:43.104 INFO kablam! warning: unused variable: `ts`
Sep 01 13:22:43.104 INFO kablam!   --> src/flat/compile/clause.rs:94:46
Sep 01 13:22:43.104 INFO kablam!    |
Sep 01 13:22:43.104 INFO kablam! 94 |             Term::Structure(Structure(a, ref ts)) => unimplemented!(),
Sep 01 13:22:43.104 INFO kablam!    |                                              ^^ help: consider using `_ts` instead
Sep 01 13:22:43.104 INFO kablam! 
Sep 01 13:22:43.104 INFO kablam! warning: unused variable: `vars`
Sep 01 13:22:43.104 INFO kablam!   --> src/flat/compile/clause.rs:87:5
Sep 01 13:22:43.104 INFO kablam!    |
Sep 01 13:22:43.104 INFO kablam! 87 |     vars: &mut HashMap<Variable, usize>,
Sep 01 13:22:43.104 INFO kablam!    |     ^^^^ help: consider using `_vars` instead
Sep 01 13:22:43.104 INFO kablam! 
Sep 01 13:22:43.134 INFO kablam! warning: unused variable: `n`
Sep 01 13:22:43.134 INFO kablam!    --> src/flat/mod.rs:164:29
Sep 01 13:22:43.134 INFO kablam!     |
Sep 01 13:22:43.134 INFO kablam! 164 |             Location::Local(n) => unimplemented!("index local"),
Sep 01 13:22:43.134 INFO kablam!     |                             ^ help: consider using `_n` instead
Sep 01 13:22:43.134 INFO kablam! 
Sep 01 13:22:43.135 INFO kablam! warning: unused variable: `n`
Sep 01 13:22:43.135 INFO kablam!    --> src/flat/mod.rs:210:29
Sep 01 13:22:43.135 INFO kablam!     |
Sep 01 13:22:43.135 INFO kablam! 210 |             Location::Local(n) => unimplemented!("index local"),
Sep 01 13:22:43.135 INFO kablam!     |                             ^ help: consider using `_n` instead
Sep 01 13:22:43.135 INFO kablam! 
Sep 01 13:22:43.627 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.
Sep 01 13:22:43.627 INFO kablam!   --> src/bin/main.rs:44:5
Sep 01 13:22:43.627 INFO kablam!    |
Sep 01 13:22:43.627 INFO kablam! 44 |     std::env::home_dir()
Sep 01 13:22:43.627 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^
Sep 01 13:22:43.627 INFO kablam!    |
Sep 01 13:22:43.627 INFO kablam!    = note: #[warn(deprecated)] on by default
Sep 01 13:22:43.627 INFO kablam! 
Sep 01 13:22:43.750 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.
Sep 01 13:22:43.750 INFO kablam!   --> src/bin/main.rs:44:5
Sep 01 13:22:43.750 INFO kablam!    |
Sep 01 13:22:43.750 INFO kablam! 44 |     std::env::home_dir()
Sep 01 13:22:43.750 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^
Sep 01 13:22:43.750 INFO kablam!    |
Sep 01 13:22:43.750 INFO kablam!    = note: #[warn(deprecated)] on by default
Sep 01 13:22:43.750 INFO kablam! 
Sep 01 13:22:44.504 INFO kablam! warning: function is never used: `compile_head`
Sep 01 13:22:44.504 INFO kablam!   --> src/flat/compile/clause.rs:67:1
Sep 01 13:22:44.504 INFO kablam!    |
Sep 01 13:22:44.504 INFO kablam! 67 | / fn compile_head(
Sep 01 13:22:44.504 INFO kablam! 68 | |     code: &mut Vec<Instruction>,
Sep 01 13:22:44.504 INFO kablam! 69 | |     seen: &mut HashSet<usize>,
Sep 01 13:22:44.504 INFO kablam! 70 | |     vars: &mut HashMap<Variable, Location>,
Sep 01 13:22:44.504 INFO kablam! ...  |
Sep 01 13:22:44.504 INFO kablam! 81 | |     }
Sep 01 13:22:44.504 INFO kablam! 82 | | }
Sep 01 13:22:44.505 INFO kablam!    | |_^
Sep 01 13:22:44.505 INFO kablam!    |
Sep 01 13:22:44.505 INFO kablam!    = note: #[warn(dead_code)] on by default
Sep 01 13:22:44.505 INFO kablam! 
Sep 01 13:22:44.506 INFO kablam! warning: function is never used: `compile_body`
Sep 01 13:22:44.506 INFO kablam!    --> src/flat/compile/clause.rs:84:1
Sep 01 13:22:44.506 INFO kablam!     |
Sep 01 13:22:44.506 INFO kablam! 84  | / fn compile_body(
Sep 01 13:22:44.506 INFO kablam! 85  | |     code: &mut Vec<Instruction>,
Sep 01 13:22:44.506 INFO kablam! 86  | |     seen_vars: &mut HashSet<Variable>,
Sep 01 13:22:44.506 INFO kablam! 87  | |     vars: &mut HashMap<Variable, usize>,
Sep 01 13:22:44.506 INFO kablam! ...   |
Sep 01 13:22:44.506 INFO kablam! 110 | |     code.push(Instruction::Call(s.functor()));
Sep 01 13:22:44.506 INFO kablam! 111 | | }
Sep 01 13:22:44.506 INFO kablam!     | |_^
Sep 01 13:22:44.506 INFO kablam! 
Sep 01 13:22:44.506 INFO kablam! warning: method is never used: `extract_term`
Sep 01 13:22:44.506 INFO kablam!   --> src/flat/store.rs:57:5
Sep 01 13:22:44.506 INFO kablam!    |
Sep 01 13:22:44.506 INFO kablam! 57 | /     pub fn extract_term(
Sep 01 13:22:44.507 INFO kablam! 58 | |         &self,
Sep 01 13:22:44.507 INFO kablam! 59 | |         idx: usize,
Sep 01 13:22:44.507 INFO kablam! 60 | |         names: Option<&HashMap<usize, Variable>>,
Sep 01 13:22:44.507 INFO kablam! ...  |
Sep 01 13:22:44.507 INFO kablam! 89 | |         }
Sep 01 13:22:44.507 INFO kablam! 90 | |     }
Sep 01 13:22:44.507 INFO kablam!    | |_____^
Sep 01 13:22:44.507 INFO kablam! 
Sep 01 13:22:44.721 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 47.89s
Sep 01 13:22:44.733 INFO kablam! su: No module specific data is present
Sep 01 13:22:45.276 INFO running `"docker" "rm" "-f" "8973e768f4f40f71291a9b7ae985bd94603de943dbb0ecfdf9a6b404de06df65"`
Sep 01 13:22:45.440 INFO blam! 8973e768f4f40f71291a9b7ae985bd94603de943dbb0ecfdf9a6b404de06df65