Oct 12 11:32:26.024 INFO checking ukitaka/min_region against master#5af0bb83044c3fb43d59ad5f49ee5ae1a293901f for pr-54977 Oct 12 11:32:26.025 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/pr-54977/worker-6/master#5af0bb83044c3fb43d59ad5f49ee5ae1a293901f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-6/pr-54977/master#5af0bb83044c3fb43d59ad5f49ee5ae1a293901f:/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 +5af0bb83044c3fb43d59ad5f49ee5ae1a293901f-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Oct 12 11:32:26.471 INFO blam! 617227215eb4dbe58c12abf232a3bbedfe0663d86644df2bed73e214c645bbb5 Oct 12 11:32:26.473 INFO running `"docker" "start" "-a" "617227215eb4dbe58c12abf232a3bbedfe0663d86644df2bed73e214c645bbb5"` Oct 12 11:32:28.404 INFO kablam! usermod: no changes Oct 12 11:32:28.456 INFO kablam! Checking min_region v0.1.0 (/source) Oct 12 11:32:28.787 INFO kablam! warning: unused variable: `expr` Oct 12 11:32:28.787 INFO kablam! --> src/codegen/llvm/generator.rs:6:23 Oct 12 11:32:28.787 INFO kablam! | Oct 12 11:32:28.787 INFO kablam! 6 | fn generateInMain(expr: Expr) -> String { Oct 12 11:32:28.787 INFO kablam! | ^^^^ help: consider using `_expr` instead Oct 12 11:32:28.787 INFO kablam! | Oct 12 11:32:28.796 INFO kablam! = note: #[warn(unused_variables)] on by default Oct 12 11:32:28.796 INFO kablam! warning: unused variable: `expr` Oct 12 11:32:28.796 INFO kablam! --> src/codegen/llvm/generator.rs:6:23 Oct 12 11:32:28.797 INFO kablam! | Oct 12 11:32:28.797 INFO kablam! 6 | fn generateInMain(expr: Expr) -> String { Oct 12 11:32:28.797 INFO kablam! | ^^^^ help: consider using `_expr` instead Oct 12 11:32:28.797 INFO kablam! | Oct 12 11:32:28.797 INFO kablam! = note: #[warn(unused_variables)] on by default Oct 12 11:32:28.797 INFO kablam! Oct 12 11:32:28.797 INFO kablam! warning: field is never used: `name` Oct 12 11:32:28.797 INFO kablam! --> src/syntax/ast.rs:2:5 Oct 12 11:32:28.797 INFO kablam! | Oct 12 11:32:28.797 INFO kablam! 2 | name: String Oct 12 11:32:28.797 INFO kablam! | ^^^^^^^^^^^^ Oct 12 11:32:28.797 INFO kablam! | Oct 12 11:32:28.797 INFO kablam! = note: #[warn(dead_code)] on by default Oct 12 11:32:28.797 INFO kablam! Oct 12 11:32:28.797 INFO kablam! warning: field is never used: `region` Oct 12 11:32:28.797 INFO kablam! --> src/syntax/ast.rs:17:5 Oct 12 11:32:28.797 INFO kablam! | Oct 12 11:32:28.797 INFO kablam! 17 | region: RegionVar, Oct 12 11:32:28.797 INFO kablam! | ^^^^^^^^^^^^^^^^^ Oct 12 11:32:28.797 INFO kablam! Oct 12 11:32:28.797 INFO kablam! warning: field is never used: `size` Oct 12 11:32:28.797 INFO kablam! --> src/syntax/ast.rs:18:5 Oct 12 11:32:28.797 INFO kablam! | Oct 12 11:32:28.797 INFO kablam! 18 | size: RegionSize Oct 12 11:32:28.797 INFO kablam! | ^^^^^^^^^^^^^^^^ Oct 12 11:32:28.797 INFO kablam! Oct 12 11:32:28.797 INFO kablam! warning: field is never used: `name` Oct 12 11:32:28.797 INFO kablam! --> src/syntax/ast.rs:29:5 Oct 12 11:32:28.797 INFO kablam! | Oct 12 11:32:28.797 INFO kablam! 29 | name: String Oct 12 11:32:28.797 INFO kablam! | ^^^^^^^^^^^^ Oct 12 11:32:28.797 INFO kablam! Oct 12 11:32:28.801 INFO kablam! Oct 12 11:32:28.801 INFO kablam! warning: field is never used: `name` Oct 12 11:32:28.801 INFO kablam! --> src/syntax/ast.rs:2:5 Oct 12 11:32:28.801 INFO kablam! | Oct 12 11:32:28.801 INFO kablam! 2 | name: String Oct 12 11:32:28.801 INFO kablam! | ^^^^^^^^^^^^ Oct 12 11:32:28.801 INFO kablam! | Oct 12 11:32:28.801 INFO kablam! = note: #[warn(dead_code)] on by default Oct 12 11:32:28.801 INFO kablam! Oct 12 11:32:28.801 INFO kablam! warning: field is never used: `region` Oct 12 11:32:28.801 INFO kablam! --> src/syntax/ast.rs:17:5 Oct 12 11:32:28.801 INFO kablam! | Oct 12 11:32:28.801 INFO kablam! 17 | region: RegionVar, Oct 12 11:32:28.801 INFO kablam! | ^^^^^^^^^^^^^^^^^ Oct 12 11:32:28.801 INFO kablam! Oct 12 11:32:28.801 INFO kablam! warning: field is never used: `size` Oct 12 11:32:28.801 INFO kablam! --> src/syntax/ast.rs:18:5 Oct 12 11:32:28.801 INFO kablam! | Oct 12 11:32:28.801 INFO kablam! 18 | size: RegionSize Oct 12 11:32:28.801 INFO kablam! | ^^^^^^^^^^^^^^^^ Oct 12 11:32:28.801 INFO kablam! Oct 12 11:32:28.801 INFO kablam! warning: field is never used: `name` Oct 12 11:32:28.801 INFO kablam! --> src/syntax/ast.rs:29:5 Oct 12 11:32:28.801 INFO kablam! | Oct 12 11:32:28.801 INFO kablam! 29 | name: String Oct 12 11:32:28.801 INFO kablam! | ^^^^^^^^^^^^ Oct 12 11:32:28.801 INFO kablam! Oct 12 11:32:28.808 INFO kablam! warning: method `generateInMain` should have a snake case name such as `generate_in_main` Oct 12 11:32:28.808 INFO kablam! --> src/codegen/llvm/generator.rs:6:5 Oct 12 11:32:28.808 INFO kablam! | Oct 12 11:32:28.808 INFO kablam! 6 | / fn generateInMain(expr: Expr) -> String { Oct 12 11:32:28.808 INFO kablam! 7 | | format!("\ Oct 12 11:32:28.808 INFO kablam! 8 | | define i32 @main(i32, i8**) #0 {{ Oct 12 11:32:28.808 INFO kablam! 9 | | ret i32 1 Oct 12 11:32:28.808 INFO kablam! 10 | | }}\ Oct 12 11:32:28.808 INFO kablam! 11 | | ") Oct 12 11:32:28.808 INFO kablam! 12 | | } Oct 12 11:32:28.808 INFO kablam! | |_____^ Oct 12 11:32:28.816 INFO kablam! | Oct 12 11:32:28.816 INFO kablam! = note: #[warn(non_snake_case)] on by default Oct 12 11:32:28.816 INFO kablam! Oct 12 11:32:28.818 INFO kablam! warning: method `generateInMain` should have a snake case name such as `generate_in_main` Oct 12 11:32:28.818 INFO kablam! --> src/codegen/llvm/generator.rs:6:5 Oct 12 11:32:28.818 INFO kablam! | Oct 12 11:32:28.818 INFO kablam! 6 | / fn generateInMain(expr: Expr) -> String { Oct 12 11:32:28.818 INFO kablam! 7 | | format!("\ Oct 12 11:32:28.818 INFO kablam! 8 | | define i32 @main(i32, i8**) #0 {{ Oct 12 11:32:28.818 INFO kablam! 9 | | ret i32 1 Oct 12 11:32:28.818 INFO kablam! 10 | | }}\ Oct 12 11:32:28.818 INFO kablam! 11 | | ") Oct 12 11:32:28.818 INFO kablam! 12 | | } Oct 12 11:32:28.818 INFO kablam! | |_____^ Oct 12 11:32:28.818 INFO kablam! | Oct 12 11:32:28.820 INFO kablam! = note: #[warn(non_snake_case)] on by default Oct 12 11:32:28.820 INFO kablam! Oct 12 11:32:29.316 INFO kablam! warning: unused variable: `expr` Oct 12 11:32:29.316 INFO kablam! --> src/codegen/llvm/generator.rs:6:23 Oct 12 11:32:29.316 INFO kablam! | Oct 12 11:32:29.316 INFO kablam! 6 | fn generateInMain(expr: Expr) -> String { Oct 12 11:32:29.316 INFO kablam! | ^^^^ help: consider using `_expr` instead Oct 12 11:32:29.316 INFO kablam! | Oct 12 11:32:29.316 INFO kablam! = note: #[warn(unused_variables)] on by default Oct 12 11:32:29.316 INFO kablam! Oct 12 11:32:29.316 INFO kablam! warning: field is never used: `name` Oct 12 11:32:29.316 INFO kablam! --> src/syntax/ast.rs:2:5 Oct 12 11:32:29.316 INFO kablam! | Oct 12 11:32:29.316 INFO kablam! 2 | name: String Oct 12 11:32:29.316 INFO kablam! | ^^^^^^^^^^^^ Oct 12 11:32:29.316 INFO kablam! | Oct 12 11:32:29.316 INFO kablam! = note: #[warn(dead_code)] on by default Oct 12 11:32:29.316 INFO kablam! Oct 12 11:32:29.316 INFO kablam! warning: variant is never constructed: `Finite` Oct 12 11:32:29.316 INFO kablam! --> src/syntax/ast.rs:6:5 Oct 12 11:32:29.316 INFO kablam! | Oct 12 11:32:29.316 INFO kablam! 6 | Finite(i32), Oct 12 11:32:29.316 INFO kablam! | ^^^^^^^^^^^ Oct 12 11:32:29.316 INFO kablam! Oct 12 11:32:29.316 INFO kablam! warning: variant is never constructed: `Infinite` Oct 12 11:32:29.316 INFO kablam! --> src/syntax/ast.rs:7:5 Oct 12 11:32:29.316 INFO kablam! | Oct 12 11:32:29.316 INFO kablam! 7 | Infinite Oct 12 11:32:29.316 INFO kablam! | ^^^^^^^^ Oct 12 11:32:29.316 INFO kablam! Oct 12 11:32:29.316 INFO kablam! warning: variant is never constructed: `AtTop` Oct 12 11:32:29.316 INFO kablam! --> src/syntax/ast.rs:11:5 Oct 12 11:32:29.316 INFO kablam! | Oct 12 11:32:29.316 INFO kablam! 11 | AtTop(RegionVar), Oct 12 11:32:29.316 INFO kablam! | ^^^^^^^^^^^^^^^^ Oct 12 11:32:29.316 INFO kablam! Oct 12 11:32:29.316 INFO kablam! warning: variant is never constructed: `AtBot` Oct 12 11:32:29.316 INFO kablam! --> src/syntax/ast.rs:12:5 Oct 12 11:32:29.316 INFO kablam! | Oct 12 11:32:29.316 INFO kablam! 12 | AtBot(RegionVar), Oct 12 11:32:29.316 INFO kablam! | ^^^^^^^^^^^^^^^^ Oct 12 11:32:29.316 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: variant is never constructed: `SAt` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:13:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 13 | SAt(RegionVar), Oct 12 11:32:29.317 INFO kablam! | ^^^^^^^^^^^^^^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: field is never used: `region` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:17:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 17 | region: RegionVar, Oct 12 11:32:29.317 INFO kablam! | ^^^^^^^^^^^^^^^^^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: field is never used: `size` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:18:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 18 | size: RegionSize Oct 12 11:32:29.317 INFO kablam! | ^^^^^^^^^^^^^^^^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: variant is never constructed: `True` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:23:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 23 | True, Oct 12 11:32:29.317 INFO kablam! | ^^^^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: variant is never constructed: `False` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:24:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 24 | False, Oct 12 11:32:29.317 INFO kablam! | ^^^^^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: variant is never constructed: `Number` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:25:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 25 | Number(i32) Oct 12 11:32:29.317 INFO kablam! | ^^^^^^^^^^^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: field is never used: `name` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:29:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 29 | name: String Oct 12 11:32:29.317 INFO kablam! | ^^^^^^^^^^^^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: variant is never constructed: `Var` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:33:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 33 | Var(Var), Oct 12 11:32:29.317 INFO kablam! | ^^^^^^^^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: variant is never constructed: `Pair` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:34:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 34 | Pair(Var, Var), Oct 12 11:32:29.317 INFO kablam! | ^^^^^^^^^^^^^^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: variant is never constructed: `Cons` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:35:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 35 | Cons(Var, Var), Oct 12 11:32:29.317 INFO kablam! | ^^^^^^^^^^^^^^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: variant is never constructed: `Var` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:40:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 40 | Var(Var), Oct 12 11:32:29.317 INFO kablam! | ^^^^^^^^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: variant is never constructed: `Let` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:41:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 41 | / Let { Oct 12 11:32:29.317 INFO kablam! 42 | | pattern: Pattern, Oct 12 11:32:29.317 INFO kablam! 43 | | expr: &'a Expr<'a>, Oct 12 11:32:29.317 INFO kablam! 44 | | body: &'a Expr<'a>, Oct 12 11:32:29.317 INFO kablam! 45 | | }, Oct 12 11:32:29.317 INFO kablam! | |_____^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: variant is never constructed: `Pair` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:46:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 46 | / Pair { Oct 12 11:32:29.317 INFO kablam! 47 | | fst: &'a Expr<'a>, Oct 12 11:32:29.317 INFO kablam! 48 | | snd: &'a Expr<'a>, Oct 12 11:32:29.317 INFO kablam! 49 | | at: AllocationPoint, Oct 12 11:32:29.317 INFO kablam! 50 | | }, Oct 12 11:32:29.317 INFO kablam! | |_____^ Oct 12 11:32:29.317 INFO kablam! Oct 12 11:32:29.317 INFO kablam! warning: variant is never constructed: `Cons` Oct 12 11:32:29.317 INFO kablam! --> src/syntax/ast.rs:51:5 Oct 12 11:32:29.317 INFO kablam! | Oct 12 11:32:29.317 INFO kablam! 51 | / Cons { Oct 12 11:32:29.318 INFO kablam! 52 | | head: &'a Expr<'a>, Oct 12 11:32:29.318 INFO kablam! 53 | | tail: &'a Expr<'a>, Oct 12 11:32:29.318 INFO kablam! 54 | | at: AllocationPoint, Oct 12 11:32:29.318 INFO kablam! 55 | | }, Oct 12 11:32:29.318 INFO kablam! | |_____^ Oct 12 11:32:29.318 INFO kablam! Oct 12 11:32:29.318 INFO kablam! warning: variant is never constructed: `Closure` Oct 12 11:32:29.318 INFO kablam! --> src/syntax/ast.rs:56:5 Oct 12 11:32:29.318 INFO kablam! | Oct 12 11:32:29.318 INFO kablam! 56 | / Closure { Oct 12 11:32:29.318 INFO kablam! 57 | | var: Var, Oct 12 11:32:29.318 INFO kablam! 58 | | expr: &'a Expr<'a>, Oct 12 11:32:29.318 INFO kablam! 59 | | at: AllocationPoint, Oct 12 11:32:29.318 INFO kablam! 60 | | }, Oct 12 11:32:29.318 INFO kablam! | |_____^ Oct 12 11:32:29.318 INFO kablam! Oct 12 11:32:29.318 INFO kablam! warning: variant is never constructed: `Case` Oct 12 11:32:29.318 INFO kablam! --> src/syntax/ast.rs:61:5 Oct 12 11:32:29.318 INFO kablam! | Oct 12 11:32:29.318 INFO kablam! 61 | / Case { Oct 12 11:32:29.318 INFO kablam! 62 | | target: &'a Expr<'a>, Oct 12 11:32:29.318 INFO kablam! 63 | | pattern1: Pattern, Oct 12 11:32:29.318 INFO kablam! 64 | | body1: &'a Expr<'a>, Oct 12 11:32:29.318 INFO kablam! 65 | | pattern2: Pattern, Oct 12 11:32:29.318 INFO kablam! 66 | | body2: &'a Expr<'a>, Oct 12 11:32:29.318 INFO kablam! 67 | | }, Oct 12 11:32:29.318 INFO kablam! | |_____^ Oct 12 11:32:29.318 INFO kablam! Oct 12 11:32:29.318 INFO kablam! warning: variant is never constructed: `LetRec` Oct 12 11:32:29.318 INFO kablam! --> src/syntax/ast.rs:68:5 Oct 12 11:32:29.318 INFO kablam! | Oct 12 11:32:29.318 INFO kablam! 68 | / LetRec { Oct 12 11:32:29.318 INFO kablam! 69 | | name: String, Oct 12 11:32:29.318 INFO kablam! 70 | | fr_params: Vec, Oct 12 11:32:29.318 INFO kablam! 71 | | param: Var, Oct 12 11:32:29.318 INFO kablam! ... | Oct 12 11:32:29.318 INFO kablam! 74 | | expr: &'a Expr<'a>, Oct 12 11:32:29.318 INFO kablam! 75 | | }, Oct 12 11:32:29.318 INFO kablam! | |_____^ Oct 12 11:32:29.318 INFO kablam! Oct 12 11:32:29.318 INFO kablam! warning: variant is never constructed: `App` Oct 12 11:32:29.318 INFO kablam! --> src/syntax/ast.rs:76:5 Oct 12 11:32:29.318 INFO kablam! | Oct 12 11:32:29.318 INFO kablam! 76 | / App { Oct 12 11:32:29.318 INFO kablam! 77 | | func_name: String, Oct 12 11:32:29.318 INFO kablam! 78 | | ar_params: Vec, Oct 12 11:32:29.318 INFO kablam! 79 | | at: AllocationPoint, Oct 12 11:32:29.318 INFO kablam! 80 | | }, Oct 12 11:32:29.318 INFO kablam! | |_____^ Oct 12 11:32:29.318 INFO kablam! Oct 12 11:32:29.318 INFO kablam! warning: variant is never constructed: `LetRegion` Oct 12 11:32:29.318 INFO kablam! --> src/syntax/ast.rs:81:5 Oct 12 11:32:29.318 INFO kablam! | Oct 12 11:32:29.318 INFO kablam! 81 | / LetRegion { Oct 12 11:32:29.318 INFO kablam! 82 | | bindings: Vec, Oct 12 11:32:29.318 INFO kablam! 83 | | expr: &'a Expr<'a>, Oct 12 11:32:29.318 INFO kablam! 84 | | } Oct 12 11:32:29.318 INFO kablam! | |_____^ Oct 12 11:32:29.318 INFO kablam! Oct 12 11:32:29.318 INFO kablam! warning: method `generateInMain` should have a snake case name such as `generate_in_main` Oct 12 11:32:29.318 INFO kablam! --> src/codegen/llvm/generator.rs:6:5 Oct 12 11:32:29.318 INFO kablam! | Oct 12 11:32:29.318 INFO kablam! 6 | / fn generateInMain(expr: Expr) -> String { Oct 12 11:32:29.318 INFO kablam! 7 | | format!("\ Oct 12 11:32:29.318 INFO kablam! 8 | | define i32 @main(i32, i8**) #0 {{ Oct 12 11:32:29.318 INFO kablam! 9 | | ret i32 1 Oct 12 11:32:29.318 INFO kablam! 10 | | }}\ Oct 12 11:32:29.318 INFO kablam! 11 | | ") Oct 12 11:32:29.318 INFO kablam! 12 | | } Oct 12 11:32:29.318 INFO kablam! | |_____^ Oct 12 11:32:29.318 INFO kablam! | Oct 12 11:32:29.318 INFO kablam! = note: #[warn(non_snake_case)] on by default Oct 12 11:32:29.318 INFO kablam! Oct 12 11:32:29.397 INFO kablam! warning: unused variable: `expr` Oct 12 11:32:29.397 INFO kablam! --> src/codegen/llvm/generator.rs:6:23 Oct 12 11:32:29.397 INFO kablam! | Oct 12 11:32:29.397 INFO kablam! 6 | fn generateInMain(expr: Expr) -> String { Oct 12 11:32:29.397 INFO kablam! | ^^^^ help: consider using `_expr` instead Oct 12 11:32:29.397 INFO kablam! | Oct 12 11:32:29.397 INFO kablam! = note: #[warn(unused_variables)] on by default Oct 12 11:32:29.397 INFO kablam! Oct 12 11:32:29.397 INFO kablam! warning: field is never used: `name` Oct 12 11:32:29.397 INFO kablam! --> src/syntax/ast.rs:2:5 Oct 12 11:32:29.397 INFO kablam! | Oct 12 11:32:29.397 INFO kablam! 2 | name: String Oct 12 11:32:29.397 INFO kablam! | ^^^^^^^^^^^^ Oct 12 11:32:29.397 INFO kablam! | Oct 12 11:32:29.397 INFO kablam! = note: #[warn(dead_code)] on by default Oct 12 11:32:29.397 INFO kablam! Oct 12 11:32:29.397 INFO kablam! warning: variant is never constructed: `Finite` Oct 12 11:32:29.397 INFO kablam! --> src/syntax/ast.rs:6:5 Oct 12 11:32:29.397 INFO kablam! | Oct 12 11:32:29.397 INFO kablam! 6 | Finite(i32), Oct 12 11:32:29.397 INFO kablam! | ^^^^^^^^^^^ Oct 12 11:32:29.397 INFO kablam! Oct 12 11:32:29.397 INFO kablam! warning: variant is never constructed: `Infinite` Oct 12 11:32:29.397 INFO kablam! --> src/syntax/ast.rs:7:5 Oct 12 11:32:29.397 INFO kablam! | Oct 12 11:32:29.397 INFO kablam! 7 | Infinite Oct 12 11:32:29.397 INFO kablam! | ^^^^^^^^ Oct 12 11:32:29.397 INFO kablam! Oct 12 11:32:29.397 INFO kablam! warning: variant is never constructed: `AtTop` Oct 12 11:32:29.397 INFO kablam! --> src/syntax/ast.rs:11:5 Oct 12 11:32:29.397 INFO kablam! | Oct 12 11:32:29.397 INFO kablam! 11 | AtTop(RegionVar), Oct 12 11:32:29.397 INFO kablam! | ^^^^^^^^^^^^^^^^ Oct 12 11:32:29.397 INFO kablam! Oct 12 11:32:29.397 INFO kablam! warning: variant is never constructed: `AtBot` Oct 12 11:32:29.397 INFO kablam! --> src/syntax/ast.rs:12:5 Oct 12 11:32:29.397 INFO kablam! | Oct 12 11:32:29.397 INFO kablam! 12 | AtBot(RegionVar), Oct 12 11:32:29.397 INFO kablam! | ^^^^^^^^^^^^^^^^ Oct 12 11:32:29.397 INFO kablam! Oct 12 11:32:29.397 INFO kablam! warning: variant is never constructed: `SAt` Oct 12 11:32:29.397 INFO kablam! --> src/syntax/ast.rs:13:5 Oct 12 11:32:29.397 INFO kablam! | Oct 12 11:32:29.397 INFO kablam! 13 | SAt(RegionVar), Oct 12 11:32:29.397 INFO kablam! | ^^^^^^^^^^^^^^ Oct 12 11:32:29.397 INFO kablam! Oct 12 11:32:29.397 INFO kablam! warning: field is never used: `region` Oct 12 11:32:29.397 INFO kablam! --> src/syntax/ast.rs:17:5 Oct 12 11:32:29.397 INFO kablam! | Oct 12 11:32:29.397 INFO kablam! 17 | region: RegionVar, Oct 12 11:32:29.397 INFO kablam! | ^^^^^^^^^^^^^^^^^ Oct 12 11:32:29.397 INFO kablam! Oct 12 11:32:29.397 INFO kablam! warning: field is never used: `size` Oct 12 11:32:29.397 INFO kablam! --> src/syntax/ast.rs:18:5 Oct 12 11:32:29.397 INFO kablam! | Oct 12 11:32:29.397 INFO kablam! 18 | size: RegionSize Oct 12 11:32:29.397 INFO kablam! | ^^^^^^^^^^^^^^^^ Oct 12 11:32:29.397 INFO kablam! Oct 12 11:32:29.397 INFO kablam! warning: variant is never constructed: `True` Oct 12 11:32:29.398 INFO kablam! --> src/syntax/ast.rs:23:5 Oct 12 11:32:29.398 INFO kablam! | Oct 12 11:32:29.398 INFO kablam! 23 | True, Oct 12 11:32:29.398 INFO kablam! | ^^^^ Oct 12 11:32:29.398 INFO kablam! Oct 12 11:32:29.398 INFO kablam! warning: variant is never constructed: `False` Oct 12 11:32:29.398 INFO kablam! --> src/syntax/ast.rs:24:5 Oct 12 11:32:29.398 INFO kablam! | Oct 12 11:32:29.398 INFO kablam! 24 | False, Oct 12 11:32:29.398 INFO kablam! | ^^^^^ Oct 12 11:32:29.398 INFO kablam! Oct 12 11:32:29.398 INFO kablam! warning: variant is never constructed: `Number` Oct 12 11:32:29.398 INFO kablam! --> src/syntax/ast.rs:25:5 Oct 12 11:32:29.398 INFO kablam! | Oct 12 11:32:29.398 INFO kablam! 25 | Number(i32) Oct 12 11:32:29.398 INFO kablam! | ^^^^^^^^^^^ Oct 12 11:32:29.398 INFO kablam! Oct 12 11:32:29.398 INFO kablam! warning: field is never used: `name` Oct 12 11:32:29.398 INFO kablam! --> src/syntax/ast.rs:29:5 Oct 12 11:32:29.398 INFO kablam! | Oct 12 11:32:29.398 INFO kablam! 29 | name: String Oct 12 11:32:29.398 INFO kablam! | ^^^^^^^^^^^^ Oct 12 11:32:29.398 INFO kablam! Oct 12 11:32:29.398 INFO kablam! warning: variant is never constructed: `Var` Oct 12 11:32:29.398 INFO kablam! --> src/syntax/ast.rs:33:5 Oct 12 11:32:29.398 INFO kablam! | Oct 12 11:32:29.398 INFO kablam! 33 | Var(Var), Oct 12 11:32:29.398 INFO kablam! | ^^^^^^^^ Oct 12 11:32:29.398 INFO kablam! Oct 12 11:32:29.398 INFO kablam! warning: variant is never constructed: `Pair` Oct 12 11:32:29.398 INFO kablam! --> src/syntax/ast.rs:34:5 Oct 12 11:32:29.398 INFO kablam! | Oct 12 11:32:29.398 INFO kablam! 34 | Pair(Var, Var), Oct 12 11:32:29.398 INFO kablam! | ^^^^^^^^^^^^^^ Oct 12 11:32:29.398 INFO kablam! Oct 12 11:32:29.398 INFO kablam! warning: variant is never constructed: `Cons` Oct 12 11:32:29.398 INFO kablam! --> src/syntax/ast.rs:35:5 Oct 12 11:32:29.398 INFO kablam! | Oct 12 11:32:29.398 INFO kablam! 35 | Cons(Var, Var), Oct 12 11:32:29.398 INFO kablam! | ^^^^^^^^^^^^^^ Oct 12 11:32:29.398 INFO kablam! Oct 12 11:32:29.398 INFO kablam! warning: variant is never constructed: `Var` Oct 12 11:32:29.398 INFO kablam! --> src/syntax/ast.rs:40:5 Oct 12 11:32:29.398 INFO kablam! | Oct 12 11:32:29.398 INFO kablam! 40 | Var(Var), Oct 12 11:32:29.398 INFO kablam! | ^^^^^^^^ Oct 12 11:32:29.398 INFO kablam! Oct 12 11:32:29.400 INFO kablam! warning: variant is never constructed: `Let` Oct 12 11:32:29.400 INFO kablam! --> src/syntax/ast.rs:41:5 Oct 12 11:32:29.401 INFO kablam! | Oct 12 11:32:29.401 INFO kablam! 41 | / Let { Oct 12 11:32:29.401 INFO kablam! 42 | | pattern: Pattern, Oct 12 11:32:29.401 INFO kablam! 43 | | expr: &'a Expr<'a>, Oct 12 11:32:29.401 INFO kablam! 44 | | body: &'a Expr<'a>, Oct 12 11:32:29.401 INFO kablam! 45 | | }, Oct 12 11:32:29.401 INFO kablam! | |_____^ Oct 12 11:32:29.401 INFO kablam! Oct 12 11:32:29.401 INFO kablam! warning: variant is never constructed: `Pair` Oct 12 11:32:29.401 INFO kablam! --> src/syntax/ast.rs:46:5 Oct 12 11:32:29.401 INFO kablam! | Oct 12 11:32:29.401 INFO kablam! 46 | / Pair { Oct 12 11:32:29.401 INFO kablam! 47 | | fst: &'a Expr<'a>, Oct 12 11:32:29.401 INFO kablam! 48 | | snd: &'a Expr<'a>, Oct 12 11:32:29.401 INFO kablam! 49 | | at: AllocationPoint, Oct 12 11:32:29.401 INFO kablam! 50 | | }, Oct 12 11:32:29.401 INFO kablam! | |_____^ Oct 12 11:32:29.401 INFO kablam! Oct 12 11:32:29.401 INFO kablam! warning: variant is never constructed: `Cons` Oct 12 11:32:29.401 INFO kablam! --> src/syntax/ast.rs:51:5 Oct 12 11:32:29.401 INFO kablam! | Oct 12 11:32:29.401 INFO kablam! 51 | / Cons { Oct 12 11:32:29.401 INFO kablam! 52 | | head: &'a Expr<'a>, Oct 12 11:32:29.401 INFO kablam! 53 | | tail: &'a Expr<'a>, Oct 12 11:32:29.401 INFO kablam! 54 | | at: AllocationPoint, Oct 12 11:32:29.401 INFO kablam! 55 | | }, Oct 12 11:32:29.401 INFO kablam! | |_____^ Oct 12 11:32:29.401 INFO kablam! Oct 12 11:32:29.401 INFO kablam! warning: variant is never constructed: `Closure` Oct 12 11:32:29.401 INFO kablam! --> src/syntax/ast.rs:56:5 Oct 12 11:32:29.401 INFO kablam! | Oct 12 11:32:29.401 INFO kablam! 56 | / Closure { Oct 12 11:32:29.401 INFO kablam! 57 | | var: Var, Oct 12 11:32:29.401 INFO kablam! 58 | | expr: &'a Expr<'a>, Oct 12 11:32:29.401 INFO kablam! 59 | | at: AllocationPoint, Oct 12 11:32:29.401 INFO kablam! 60 | | }, Oct 12 11:32:29.401 INFO kablam! | |_____^ Oct 12 11:32:29.401 INFO kablam! Oct 12 11:32:29.401 INFO kablam! warning: variant is never constructed: `Case` Oct 12 11:32:29.401 INFO kablam! --> src/syntax/ast.rs:61:5 Oct 12 11:32:29.401 INFO kablam! | Oct 12 11:32:29.401 INFO kablam! 61 | / Case { Oct 12 11:32:29.401 INFO kablam! 62 | | target: &'a Expr<'a>, Oct 12 11:32:29.401 INFO kablam! 63 | | pattern1: Pattern, Oct 12 11:32:29.401 INFO kablam! 64 | | body1: &'a Expr<'a>, Oct 12 11:32:29.401 INFO kablam! 65 | | pattern2: Pattern, Oct 12 11:32:29.401 INFO kablam! 66 | | body2: &'a Expr<'a>, Oct 12 11:32:29.401 INFO kablam! 67 | | }, Oct 12 11:32:29.401 INFO kablam! | |_____^ Oct 12 11:32:29.401 INFO kablam! Oct 12 11:32:29.401 INFO kablam! warning: variant is never constructed: `LetRec` Oct 12 11:32:29.401 INFO kablam! --> src/syntax/ast.rs:68:5 Oct 12 11:32:29.401 INFO kablam! | Oct 12 11:32:29.401 INFO kablam! 68 | / LetRec { Oct 12 11:32:29.401 INFO kablam! 69 | | name: String, Oct 12 11:32:29.401 INFO kablam! 70 | | fr_params: Vec, Oct 12 11:32:29.401 INFO kablam! 71 | | param: Var, Oct 12 11:32:29.401 INFO kablam! ... | Oct 12 11:32:29.401 INFO kablam! 74 | | expr: &'a Expr<'a>, Oct 12 11:32:29.401 INFO kablam! 75 | | }, Oct 12 11:32:29.401 INFO kablam! | |_____^ Oct 12 11:32:29.401 INFO kablam! Oct 12 11:32:29.401 INFO kablam! warning: variant is never constructed: `App` Oct 12 11:32:29.401 INFO kablam! --> src/syntax/ast.rs:76:5 Oct 12 11:32:29.401 INFO kablam! | Oct 12 11:32:29.401 INFO kablam! 76 | / App { Oct 12 11:32:29.401 INFO kablam! 77 | | func_name: String, Oct 12 11:32:29.401 INFO kablam! 78 | | ar_params: Vec, Oct 12 11:32:29.401 INFO kablam! 79 | | at: AllocationPoint, Oct 12 11:32:29.401 INFO kablam! 80 | | }, Oct 12 11:32:29.401 INFO kablam! | |_____^ Oct 12 11:32:29.401 INFO kablam! Oct 12 11:32:29.401 INFO kablam! warning: variant is never constructed: `LetRegion` Oct 12 11:32:29.401 INFO kablam! --> src/syntax/ast.rs:81:5 Oct 12 11:32:29.401 INFO kablam! | Oct 12 11:32:29.401 INFO kablam! 81 | / LetRegion { Oct 12 11:32:29.401 INFO kablam! 82 | | bindings: Vec, Oct 12 11:32:29.401 INFO kablam! 83 | | expr: &'a Expr<'a>, Oct 12 11:32:29.401 INFO kablam! 84 | | } Oct 12 11:32:29.401 INFO kablam! | |_____^ Oct 12 11:32:29.401 INFO kablam! Oct 12 11:32:29.401 INFO kablam! warning: method `generateInMain` should have a snake case name such as `generate_in_main` Oct 12 11:32:29.401 INFO kablam! --> src/codegen/llvm/generator.rs:6:5 Oct 12 11:32:29.401 INFO kablam! | Oct 12 11:32:29.401 INFO kablam! 6 | / fn generateInMain(expr: Expr) -> String { Oct 12 11:32:29.401 INFO kablam! 7 | | format!("\ Oct 12 11:32:29.401 INFO kablam! 8 | | define i32 @main(i32, i8**) #0 {{ Oct 12 11:32:29.401 INFO kablam! 9 | | ret i32 1 Oct 12 11:32:29.401 INFO kablam! 10 | | }}\ Oct 12 11:32:29.402 INFO kablam! 11 | | ") Oct 12 11:32:29.402 INFO kablam! 12 | | } Oct 12 11:32:29.402 INFO kablam! | |_____^ Oct 12 11:32:29.402 INFO kablam! | Oct 12 11:32:29.402 INFO kablam! = note: #[warn(non_snake_case)] on by default Oct 12 11:32:29.402 INFO kablam! Oct 12 11:32:29.521 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 1.09s Oct 12 11:32:29.528 INFO kablam! su: No module specific data is present Oct 12 11:32:30.092 INFO running `"docker" "rm" "-f" "617227215eb4dbe58c12abf232a3bbedfe0663d86644df2bed73e214c645bbb5"` Oct 12 11:32:30.440 INFO blam! 617227215eb4dbe58c12abf232a3bbedfe0663d86644df2bed73e214c645bbb5