Nov 02 15:52:25.963 INFO testing hindley-milner-0.1.0 against beta-2018-10-30 for beta-1.31-1
Nov 02 15:52:25.964 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-0/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/beta-1.31-1/beta-2018-10-30:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +beta-2018-10-30 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 02 15:52:26.235 INFO blam! 8ec69eb5b5e7c7dd489007d1dfcdf967e506d47dc1b39903639ac6b6d3da57cf
Nov 02 15:52:26.251 INFO running `"docker" "start" "-a" "8ec69eb5b5e7c7dd489007d1dfcdf967e506d47dc1b39903639ac6b6d3da57cf"`
Nov 02 15:52:26.968 INFO kablam! usermod: no changes
Nov 02 15:52:27.008 INFO kablam!    Compiling hindley-milner v0.1.0 (/source)
Nov 02 15:52:27.618 INFO kablam! warning: struct is never constructed: `Namer`
Nov 02 15:52:27.619 INFO kablam!   --> src/lib.rs:77:1
Nov 02 15:52:27.619 INFO kablam!    |
Nov 02 15:52:27.619 INFO kablam! 77 | struct Namer {
Nov 02 15:52:27.620 INFO kablam!    | ^^^^^^^^^^^^
Nov 02 15:52:27.620 INFO kablam!    |
Nov 02 15:52:27.620 INFO kablam!    = note: #[warn(dead_code)] on by default
Nov 02 15:52:27.621 INFO kablam! 
Nov 02 15:52:27.621 INFO kablam! warning: method is never used: `next`
Nov 02 15:52:27.622 INFO kablam!   --> src/lib.rs:83:5
Nov 02 15:52:27.622 INFO kablam!    |
Nov 02 15:52:27.622 INFO kablam! 83 |     fn next(&mut self) -> String {
Nov 02 15:52:27.622 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 02 15:52:27.623 INFO kablam! 
Nov 02 15:52:27.623 INFO kablam! warning: method is never used: `name`
Nov 02 15:52:27.623 INFO kablam!   --> src/lib.rs:89:5
Nov 02 15:52:27.624 INFO kablam!    |
Nov 02 15:52:27.624 INFO kablam! 89 |     fn name(&mut self, t: ArenaType) -> String {
Nov 02 15:52:27.624 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 02 15:52:27.625 INFO kablam! 
Nov 02 15:52:27.625 INFO kablam! warning: method is never used: `id`
Nov 02 15:52:27.625 INFO kablam!    --> src/lib.rs:124:5
Nov 02 15:52:27.625 INFO kablam!     |
Nov 02 15:52:27.625 INFO kablam! 124 |     fn id(&self) -> usize {
Nov 02 15:52:27.625 INFO kablam!     |     ^^^^^^^^^^^^^^^^^^^^^
Nov 02 15:52:27.625 INFO kablam! 
Nov 02 15:52:27.631 INFO kablam! warning: method is never used: `as_string`
Nov 02 15:52:27.632 INFO kablam!    --> src/lib.rs:146:5
Nov 02 15:52:27.632 INFO kablam!     |
Nov 02 15:52:27.632 INFO kablam! 146 |     fn as_string(&self, a: &Vec<Type>, namer: &mut Namer) -> String {
Nov 02 15:52:27.633 INFO kablam!     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 02 15:52:27.633 INFO kablam! 
Nov 02 15:52:27.633 INFO kablam! warning: function is never used: `test_env`
Nov 02 15:52:27.634 INFO kablam!    --> src/lib.rs:537:1
Nov 02 15:52:27.634 INFO kablam!     |
Nov 02 15:52:27.635 INFO kablam! 537 | fn test_env() -> (Vec<Type>, Env) {
Nov 02 15:52:27.635 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 02 15:52:27.635 INFO kablam! 
Nov 02 15:52:28.293 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.31s
Nov 02 15:52:28.295 INFO kablam! su: No module specific data is present
Nov 02 15:52:28.521 INFO running `"docker" "rm" "-f" "8ec69eb5b5e7c7dd489007d1dfcdf967e506d47dc1b39903639ac6b6d3da57cf"`
Nov 02 15:52:28.615 INFO blam! 8ec69eb5b5e7c7dd489007d1dfcdf967e506d47dc1b39903639ac6b6d3da57cf
Nov 02 15:52:28.619 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-0/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/beta-1.31-1/beta-2018-10-30:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +beta-2018-10-30 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 02 15:52:28.874 INFO blam! aff0d6256afbef03c125685b24c821ad58a496e46ab0991b35c850c0405af86e
Nov 02 15:52:28.881 INFO running `"docker" "start" "-a" "aff0d6256afbef03c125685b24c821ad58a496e46ab0991b35c850c0405af86e"`
Nov 02 15:52:29.280 INFO kablam! usermod: no changes
Nov 02 15:52:29.305 INFO kablam!    Compiling hindley-milner v0.1.0 (/source)
Nov 02 15:52:31.352 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.05s
Nov 02 15:52:31.354 INFO kablam! su: No module specific data is present
Nov 02 15:52:31.584 INFO running `"docker" "rm" "-f" "aff0d6256afbef03c125685b24c821ad58a496e46ab0991b35c850c0405af86e"`
Nov 02 15:52:31.660 INFO blam! aff0d6256afbef03c125685b24c821ad58a496e46ab0991b35c850c0405af86e
Nov 02 15:52:31.661 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-0/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/beta-1.31-1/beta-2018-10-30:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +beta-2018-10-30 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 02 15:52:31.814 INFO blam! 73400e28cdcc4ab486583532510db11e219f9fe76c4bd8cf500730dc306d5ca9
Nov 02 15:52:31.816 INFO running `"docker" "start" "-a" "73400e28cdcc4ab486583532510db11e219f9fe76c4bd8cf500730dc306d5ca9"`
Nov 02 15:52:32.167 INFO kablam! usermod: no changes
Nov 02 15:52:32.191 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Nov 02 15:52:32.192 INFO kablam!      Running /target/debug/deps/hindley_milner-c7dd25ad3cd1d088
Nov 02 15:52:32.193 INFO blam! 
Nov 02 15:52:32.193 INFO blam! running 9 tests
Nov 02 15:52:32.194 INFO blam! test test_mul ... ok
Nov 02 15:52:32.195 INFO blam! test test_generic_nongeneric ... ok
Nov 02 15:52:32.195 INFO blam! test test_int ... ok
Nov 02 15:52:32.196 INFO blam! test test_fun ... ok
Nov 02 15:52:32.196 INFO blam! test test_factorial ... ok
Nov 02 15:52:32.201 INFO blam! test test_composition ... ok
Nov 02 15:52:32.216 INFO blam! test test_pair ... ok
Nov 02 15:52:32.216 INFO blam! test test_recursive ... ok
Nov 02 15:52:32.216 INFO blam! test test_mismatch ... ok
Nov 02 15:52:32.216 INFO blam! 
Nov 02 15:52:32.216 INFO blam! test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 15:52:32.216 INFO blam! 
Nov 02 15:52:32.218 INFO kablam! su: No module specific data is present
Nov 02 15:52:32.485 INFO running `"docker" "rm" "-f" "73400e28cdcc4ab486583532510db11e219f9fe76c4bd8cf500730dc306d5ca9"`
Nov 02 15:52:32.615 INFO blam! 73400e28cdcc4ab486583532510db11e219f9fe76c4bd8cf500730dc306d5ca9
