Nov 06 11:53:51.618 INFO checking ukitaka/min_region against master#24e66c28980442a48d9458f1a4f9b76cc722dc8a for pr-55687 Nov 06 11:53:51.618 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55687/worker-5/master#24e66c28980442a48d9458f1a4f9b76cc722dc8a:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-55687/master#24e66c28980442a48d9458f1a4f9b76cc722dc8a:/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 +24e66c28980442a48d9458f1a4f9b76cc722dc8a-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"` Nov 06 11:53:52.014 INFO blam! 560a0a1134f18e010448d9ba4a8a6daa4652753e846d20018f581f6fd6f3fbd4 Nov 06 11:53:52.024 INFO running `"docker" "start" "-a" "560a0a1134f18e010448d9ba4a8a6daa4652753e846d20018f581f6fd6f3fbd4"` Nov 06 11:53:53.277 INFO kablam! usermod: no changes Nov 06 11:53:53.344 INFO kablam! Checking min_region v0.1.0 (/source) Nov 06 11:53:53.600 INFO kablam! warning: unused variable: `expr` Nov 06 11:53:53.600 INFO kablam! --> src/codegen/llvm/generator.rs:6:23 Nov 06 11:53:53.600 INFO kablam! | Nov 06 11:53:53.600 INFO kablam! 6 | fn generateInMain(expr: Expr) -> String { Nov 06 11:53:53.600 INFO kablam! | ^^^^ help: consider using `_expr` instead Nov 06 11:53:53.600 INFO kablam! | Nov 06 11:53:53.600 INFO kablam! = note: #[warn(unused_variables)] on by default Nov 06 11:53:53.600 INFO kablam! Nov 06 11:53:53.600 INFO kablam! warning: field is never used: `name` Nov 06 11:53:53.600 INFO kablam! --> src/syntax/ast.rs:2:5 Nov 06 11:53:53.600 INFO kablam! | Nov 06 11:53:53.600 INFO kablam! 2 | name: String Nov 06 11:53:53.600 INFO kablam! | ^^^^^^^^^^^^ Nov 06 11:53:53.600 INFO kablam! | Nov 06 11:53:53.600 INFO kablam! = note: #[warn(dead_code)] on by default Nov 06 11:53:53.600 INFO kablam! Nov 06 11:53:53.600 INFO kablam! warning: field is never used: `region` Nov 06 11:53:53.600 INFO kablam! --> src/syntax/ast.rs:17:5 Nov 06 11:53:53.600 INFO kablam! | Nov 06 11:53:53.601 INFO kablam! 17 | region: RegionVar, Nov 06 11:53:53.601 INFO kablam! | ^^^^^^^^^^^^^^^^^ Nov 06 11:53:53.601 INFO kablam! Nov 06 11:53:53.601 INFO kablam! warning: field is never used: `size` Nov 06 11:53:53.601 INFO kablam! --> src/syntax/ast.rs:18:5 Nov 06 11:53:53.601 INFO kablam! | Nov 06 11:53:53.601 INFO kablam! 18 | size: RegionSize Nov 06 11:53:53.601 INFO kablam! | ^^^^^^^^^^^^^^^^ Nov 06 11:53:53.601 INFO kablam! Nov 06 11:53:53.601 INFO kablam! warning: field is never used: `name` Nov 06 11:53:53.601 INFO kablam! --> src/syntax/ast.rs:29:5 Nov 06 11:53:53.601 INFO kablam! | Nov 06 11:53:53.601 INFO kablam! 29 | name: String Nov 06 11:53:53.601 INFO kablam! | ^^^^^^^^^^^^ Nov 06 11:53:53.601 INFO kablam! Nov 06 11:53:53.628 INFO kablam! warning: method `generateInMain` should have a snake case name such as `generate_in_main` Nov 06 11:53:53.628 INFO kablam! --> src/codegen/llvm/generator.rs:6:5 Nov 06 11:53:53.628 INFO kablam! | Nov 06 11:53:53.628 INFO kablam! 6 | / fn generateInMain(expr: Expr) -> String { Nov 06 11:53:53.628 INFO kablam! 7 | | format!("\ Nov 06 11:53:53.628 INFO kablam! 8 | | define i32 @main(i32, i8**) #0 {{ Nov 06 11:53:53.628 INFO kablam! 9 | | ret i32 1 Nov 06 11:53:53.628 INFO kablam! 10 | | }}\ Nov 06 11:53:53.628 INFO kablam! 11 | | ") Nov 06 11:53:53.628 INFO kablam! 12 | | } Nov 06 11:53:53.628 INFO kablam! | |_____^ Nov 06 11:53:53.628 INFO kablam! | Nov 06 11:53:53.628 INFO kablam! = note: #[warn(non_snake_case)] on by default Nov 06 11:53:53.628 INFO kablam! Nov 06 11:53:53.752 INFO kablam! warning: unused variable: `expr` Nov 06 11:53:53.752 INFO kablam! --> src/codegen/llvm/generator.rs:6:23 Nov 06 11:53:53.752 INFO kablam! | Nov 06 11:53:53.752 INFO kablam! 6 | fn generateInMain(expr: Expr) -> String { Nov 06 11:53:53.752 INFO kablam! | ^^^^ help: consider using `_expr` instead Nov 06 11:53:53.752 INFO kablam! | Nov 06 11:53:53.752 INFO kablam! = note: #[warn(unused_variables)] on by default Nov 06 11:53:53.752 INFO kablam! Nov 06 11:53:53.752 INFO kablam! warning: field is never used: `name` Nov 06 11:53:53.752 INFO kablam! --> src/syntax/ast.rs:2:5 Nov 06 11:53:53.752 INFO kablam! | Nov 06 11:53:53.752 INFO kablam! 2 | name: String Nov 06 11:53:53.752 INFO kablam! | ^^^^^^^^^^^^ Nov 06 11:53:53.752 INFO kablam! | Nov 06 11:53:53.752 INFO kablam! = note: #[warn(dead_code)] on by default Nov 06 11:53:53.752 INFO kablam! Nov 06 11:53:53.753 INFO kablam! warning: field is never used: `region` Nov 06 11:53:53.753 INFO kablam! --> src/syntax/ast.rs:17:5 Nov 06 11:53:53.753 INFO kablam! | Nov 06 11:53:53.753 INFO kablam! 17 | region: RegionVar, Nov 06 11:53:53.753 INFO kablam! | ^^^^^^^^^^^^^^^^^ Nov 06 11:53:53.753 INFO kablam! Nov 06 11:53:53.753 INFO kablam! warning: field is never used: `size` Nov 06 11:53:53.753 INFO kablam! --> src/syntax/ast.rs:18:5 Nov 06 11:53:53.753 INFO kablam! | Nov 06 11:53:53.753 INFO kablam! 18 | size: RegionSize Nov 06 11:53:53.753 INFO kablam! | ^^^^^^^^^^^^^^^^ Nov 06 11:53:53.753 INFO kablam! Nov 06 11:53:53.753 INFO kablam! warning: field is never used: `name` Nov 06 11:53:53.753 INFO kablam! --> src/syntax/ast.rs:29:5 Nov 06 11:53:53.753 INFO kablam! | Nov 06 11:53:53.753 INFO kablam! 29 | name: String Nov 06 11:53:53.753 INFO kablam! | ^^^^^^^^^^^^ Nov 06 11:53:53.753 INFO kablam! Nov 06 11:53:53.772 INFO kablam! warning: method `generateInMain` should have a snake case name such as `generate_in_main` Nov 06 11:53:53.772 INFO kablam! --> src/codegen/llvm/generator.rs:6:5 Nov 06 11:53:53.772 INFO kablam! | Nov 06 11:53:53.772 INFO kablam! 6 | / fn generateInMain(expr: Expr) -> String { Nov 06 11:53:53.772 INFO kablam! 7 | | format!("\ Nov 06 11:53:53.772 INFO kablam! 8 | | define i32 @main(i32, i8**) #0 {{ Nov 06 11:53:53.772 INFO kablam! 9 | | ret i32 1 Nov 06 11:53:53.772 INFO kablam! 10 | | }}\ Nov 06 11:53:53.772 INFO kablam! 11 | | ") Nov 06 11:53:53.772 INFO kablam! 12 | | } Nov 06 11:53:53.772 INFO kablam! | |_____^ Nov 06 11:53:53.772 INFO kablam! | Nov 06 11:53:53.772 INFO kablam! = note: #[warn(non_snake_case)] on by default Nov 06 11:53:53.772 INFO kablam! Nov 06 11:53:54.157 INFO kablam! warning: unused variable: `expr` Nov 06 11:53:54.157 INFO kablam! --> src/codegen/llvm/generator.rs:6:23 Nov 06 11:53:54.157 INFO kablam! | Nov 06 11:53:54.157 INFO kablam! 6 | fn generateInMain(expr: Expr) -> String { Nov 06 11:53:54.157 INFO kablam! | ^^^^ help: consider using `_expr` instead Nov 06 11:53:54.157 INFO kablam! | Nov 06 11:53:54.157 INFO kablam! = note: #[warn(unused_variables)] on by default Nov 06 11:53:54.157 INFO kablam! Nov 06 11:53:54.157 INFO kablam! warning: field is never used: `name` Nov 06 11:53:54.157 INFO kablam! --> src/syntax/ast.rs:2:5 Nov 06 11:53:54.157 INFO kablam! | Nov 06 11:53:54.157 INFO kablam! 2 | name: String Nov 06 11:53:54.157 INFO kablam! | ^^^^^^^^^^^^ Nov 06 11:53:54.157 INFO kablam! | Nov 06 11:53:54.157 INFO kablam! = note: #[warn(dead_code)] on by default Nov 06 11:53:54.157 INFO kablam! Nov 06 11:53:54.157 INFO kablam! warning: variant is never constructed: `Finite` Nov 06 11:53:54.157 INFO kablam! --> src/syntax/ast.rs:6:5 Nov 06 11:53:54.157 INFO kablam! | Nov 06 11:53:54.157 INFO kablam! 6 | Finite(i32), Nov 06 11:53:54.157 INFO kablam! | ^^^^^^^^^^^ Nov 06 11:53:54.157 INFO kablam! Nov 06 11:53:54.157 INFO kablam! warning: variant is never constructed: `Infinite` Nov 06 11:53:54.157 INFO kablam! --> src/syntax/ast.rs:7:5 Nov 06 11:53:54.157 INFO kablam! | Nov 06 11:53:54.157 INFO kablam! 7 | Infinite Nov 06 11:53:54.157 INFO kablam! | ^^^^^^^^ Nov 06 11:53:54.157 INFO kablam! Nov 06 11:53:54.157 INFO kablam! warning: variant is never constructed: `AtTop` Nov 06 11:53:54.157 INFO kablam! --> src/syntax/ast.rs:11:5 Nov 06 11:53:54.157 INFO kablam! | Nov 06 11:53:54.157 INFO kablam! 11 | AtTop(RegionVar), Nov 06 11:53:54.157 INFO kablam! | ^^^^^^^^^^^^^^^^ Nov 06 11:53:54.157 INFO kablam! Nov 06 11:53:54.157 INFO kablam! warning: variant is never constructed: `AtBot` Nov 06 11:53:54.157 INFO kablam! --> src/syntax/ast.rs:12:5 Nov 06 11:53:54.157 INFO kablam! | Nov 06 11:53:54.157 INFO kablam! 12 | AtBot(RegionVar), Nov 06 11:53:54.158 INFO kablam! | ^^^^^^^^^^^^^^^^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: variant is never constructed: `SAt` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:13:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 13 | SAt(RegionVar), Nov 06 11:53:54.158 INFO kablam! | ^^^^^^^^^^^^^^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: field is never used: `region` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:17:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 17 | region: RegionVar, Nov 06 11:53:54.158 INFO kablam! | ^^^^^^^^^^^^^^^^^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: field is never used: `size` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:18:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 18 | size: RegionSize Nov 06 11:53:54.158 INFO kablam! | ^^^^^^^^^^^^^^^^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: variant is never constructed: `True` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:23:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 23 | True, Nov 06 11:53:54.158 INFO kablam! | ^^^^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: variant is never constructed: `False` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:24:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 24 | False, Nov 06 11:53:54.158 INFO kablam! | ^^^^^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: variant is never constructed: `Number` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:25:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 25 | Number(i32) Nov 06 11:53:54.158 INFO kablam! | ^^^^^^^^^^^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: field is never used: `name` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:29:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 29 | name: String Nov 06 11:53:54.158 INFO kablam! | ^^^^^^^^^^^^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: variant is never constructed: `Var` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:33:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 33 | Var(Var), Nov 06 11:53:54.158 INFO kablam! | ^^^^^^^^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: variant is never constructed: `Pair` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:34:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 34 | Pair(Var, Var), Nov 06 11:53:54.158 INFO kablam! | ^^^^^^^^^^^^^^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: variant is never constructed: `Cons` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:35:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 35 | Cons(Var, Var), Nov 06 11:53:54.158 INFO kablam! | ^^^^^^^^^^^^^^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: variant is never constructed: `Var` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:40:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 40 | Var(Var), Nov 06 11:53:54.158 INFO kablam! | ^^^^^^^^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: variant is never constructed: `Let` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:41:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 41 | / Let { Nov 06 11:53:54.158 INFO kablam! 42 | | pattern: Pattern, Nov 06 11:53:54.158 INFO kablam! 43 | | expr: &'a Expr<'a>, Nov 06 11:53:54.158 INFO kablam! 44 | | body: &'a Expr<'a>, Nov 06 11:53:54.158 INFO kablam! 45 | | }, Nov 06 11:53:54.158 INFO kablam! | |_____^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: variant is never constructed: `Pair` Nov 06 11:53:54.158 INFO kablam! --> src/syntax/ast.rs:46:5 Nov 06 11:53:54.158 INFO kablam! | Nov 06 11:53:54.158 INFO kablam! 46 | / Pair { Nov 06 11:53:54.158 INFO kablam! 47 | | fst: &'a Expr<'a>, Nov 06 11:53:54.158 INFO kablam! 48 | | snd: &'a Expr<'a>, Nov 06 11:53:54.158 INFO kablam! 49 | | at: AllocationPoint, Nov 06 11:53:54.158 INFO kablam! 50 | | }, Nov 06 11:53:54.158 INFO kablam! | |_____^ Nov 06 11:53:54.158 INFO kablam! Nov 06 11:53:54.158 INFO kablam! warning: variant is never constructed: `Cons` Nov 06 11:53:54.159 INFO kablam! --> src/syntax/ast.rs:51:5 Nov 06 11:53:54.159 INFO kablam! | Nov 06 11:53:54.159 INFO kablam! 51 | / Cons { Nov 06 11:53:54.159 INFO kablam! 52 | | head: &'a Expr<'a>, Nov 06 11:53:54.159 INFO kablam! 53 | | tail: &'a Expr<'a>, Nov 06 11:53:54.159 INFO kablam! 54 | | at: AllocationPoint, Nov 06 11:53:54.159 INFO kablam! 55 | | }, Nov 06 11:53:54.159 INFO kablam! | |_____^ Nov 06 11:53:54.159 INFO kablam! Nov 06 11:53:54.159 INFO kablam! warning: variant is never constructed: `Closure` Nov 06 11:53:54.159 INFO kablam! --> src/syntax/ast.rs:56:5 Nov 06 11:53:54.159 INFO kablam! | Nov 06 11:53:54.159 INFO kablam! 56 | / Closure { Nov 06 11:53:54.159 INFO kablam! 57 | | var: Var, Nov 06 11:53:54.159 INFO kablam! 58 | | expr: &'a Expr<'a>, Nov 06 11:53:54.159 INFO kablam! 59 | | at: AllocationPoint, Nov 06 11:53:54.159 INFO kablam! 60 | | }, Nov 06 11:53:54.159 INFO kablam! | |_____^ Nov 06 11:53:54.159 INFO kablam! Nov 06 11:53:54.159 INFO kablam! warning: variant is never constructed: `Case` Nov 06 11:53:54.159 INFO kablam! --> src/syntax/ast.rs:61:5 Nov 06 11:53:54.159 INFO kablam! | Nov 06 11:53:54.159 INFO kablam! 61 | / Case { Nov 06 11:53:54.159 INFO kablam! 62 | | target: &'a Expr<'a>, Nov 06 11:53:54.159 INFO kablam! 63 | | pattern1: Pattern, Nov 06 11:53:54.159 INFO kablam! 64 | | body1: &'a Expr<'a>, Nov 06 11:53:54.159 INFO kablam! 65 | | pattern2: Pattern, Nov 06 11:53:54.159 INFO kablam! 66 | | body2: &'a Expr<'a>, Nov 06 11:53:54.159 INFO kablam! 67 | | }, Nov 06 11:53:54.159 INFO kablam! | |_____^ Nov 06 11:53:54.159 INFO kablam! Nov 06 11:53:54.159 INFO kablam! warning: variant is never constructed: `LetRec` Nov 06 11:53:54.159 INFO kablam! --> src/syntax/ast.rs:68:5 Nov 06 11:53:54.159 INFO kablam! | Nov 06 11:53:54.159 INFO kablam! 68 | / LetRec { Nov 06 11:53:54.159 INFO kablam! 69 | | name: String, Nov 06 11:53:54.159 INFO kablam! 70 | | fr_params: Vec, Nov 06 11:53:54.159 INFO kablam! 71 | | param: Var, Nov 06 11:53:54.159 INFO kablam! ... | Nov 06 11:53:54.159 INFO kablam! 74 | | expr: &'a Expr<'a>, Nov 06 11:53:54.159 INFO kablam! 75 | | }, Nov 06 11:53:54.159 INFO kablam! | |_____^ Nov 06 11:53:54.159 INFO kablam! Nov 06 11:53:54.159 INFO kablam! warning: variant is never constructed: `App` Nov 06 11:53:54.159 INFO kablam! --> src/syntax/ast.rs:76:5 Nov 06 11:53:54.159 INFO kablam! | Nov 06 11:53:54.159 INFO kablam! 76 | / App { Nov 06 11:53:54.159 INFO kablam! 77 | | func_name: String, Nov 06 11:53:54.159 INFO kablam! 78 | | ar_params: Vec, Nov 06 11:53:54.159 INFO kablam! 79 | | at: AllocationPoint, Nov 06 11:53:54.159 INFO kablam! 80 | | }, Nov 06 11:53:54.159 INFO kablam! | |_____^ Nov 06 11:53:54.159 INFO kablam! Nov 06 11:53:54.159 INFO kablam! warning: variant is never constructed: `LetRegion` Nov 06 11:53:54.159 INFO kablam! --> src/syntax/ast.rs:81:5 Nov 06 11:53:54.159 INFO kablam! | Nov 06 11:53:54.159 INFO kablam! 81 | / LetRegion { Nov 06 11:53:54.159 INFO kablam! 82 | | bindings: Vec, Nov 06 11:53:54.159 INFO kablam! 83 | | expr: &'a Expr<'a>, Nov 06 11:53:54.159 INFO kablam! 84 | | } Nov 06 11:53:54.159 INFO kablam! | |_____^ Nov 06 11:53:54.159 INFO kablam! Nov 06 11:53:54.164 INFO kablam! warning: method `generateInMain` should have a snake case name such as `generate_in_main` Nov 06 11:53:54.164 INFO kablam! --> src/codegen/llvm/generator.rs:6:5 Nov 06 11:53:54.164 INFO kablam! | Nov 06 11:53:54.164 INFO kablam! 6 | / fn generateInMain(expr: Expr) -> String { Nov 06 11:53:54.164 INFO kablam! 7 | | format!("\ Nov 06 11:53:54.164 INFO kablam! 8 | | define i32 @main(i32, i8**) #0 {{ Nov 06 11:53:54.164 INFO kablam! 9 | | ret i32 1 Nov 06 11:53:54.164 INFO kablam! 10 | | }}\ Nov 06 11:53:54.164 INFO kablam! 11 | | ") Nov 06 11:53:54.164 INFO kablam! 12 | | } Nov 06 11:53:54.164 INFO kablam! | |_____^ Nov 06 11:53:54.164 INFO kablam! | Nov 06 11:53:54.164 INFO kablam! = note: #[warn(non_snake_case)] on by default Nov 06 11:53:54.164 INFO kablam! Nov 06 11:53:54.183 INFO kablam! warning: unused variable: `expr` Nov 06 11:53:54.183 INFO kablam! --> src/codegen/llvm/generator.rs:6:23 Nov 06 11:53:54.183 INFO kablam! | Nov 06 11:53:54.183 INFO kablam! 6 | fn generateInMain(expr: Expr) -> String { Nov 06 11:53:54.183 INFO kablam! | ^^^^ help: consider using `_expr` instead Nov 06 11:53:54.183 INFO kablam! | Nov 06 11:53:54.183 INFO kablam! = note: #[warn(unused_variables)] on by default Nov 06 11:53:54.186 INFO kablam! Nov 06 11:53:54.186 INFO kablam! warning: field is never used: `name` Nov 06 11:53:54.186 INFO kablam! --> src/syntax/ast.rs:2:5 Nov 06 11:53:54.186 INFO kablam! | Nov 06 11:53:54.186 INFO kablam! 2 | name: String Nov 06 11:53:54.187 INFO kablam! | ^^^^^^^^^^^^ Nov 06 11:53:54.187 INFO kablam! | Nov 06 11:53:54.187 INFO kablam! = note: #[warn(dead_code)] on by default Nov 06 11:53:54.187 INFO kablam! Nov 06 11:53:54.187 INFO kablam! warning: variant is never constructed: `Finite` Nov 06 11:53:54.187 INFO kablam! --> src/syntax/ast.rs:6:5 Nov 06 11:53:54.187 INFO kablam! | Nov 06 11:53:54.187 INFO kablam! 6 | Finite(i32), Nov 06 11:53:54.187 INFO kablam! | ^^^^^^^^^^^ Nov 06 11:53:54.187 INFO kablam! Nov 06 11:53:54.187 INFO kablam! warning: variant is never constructed: `Infinite` Nov 06 11:53:54.187 INFO kablam! --> src/syntax/ast.rs:7:5 Nov 06 11:53:54.187 INFO kablam! | Nov 06 11:53:54.187 INFO kablam! 7 | Infinite Nov 06 11:53:54.187 INFO kablam! | ^^^^^^^^ Nov 06 11:53:54.187 INFO kablam! Nov 06 11:53:54.187 INFO kablam! warning: variant is never constructed: `AtTop` Nov 06 11:53:54.187 INFO kablam! --> src/syntax/ast.rs:11:5 Nov 06 11:53:54.187 INFO kablam! | Nov 06 11:53:54.187 INFO kablam! 11 | AtTop(RegionVar), Nov 06 11:53:54.187 INFO kablam! | ^^^^^^^^^^^^^^^^ Nov 06 11:53:54.187 INFO kablam! Nov 06 11:53:54.187 INFO kablam! warning: variant is never constructed: `AtBot` Nov 06 11:53:54.187 INFO kablam! --> src/syntax/ast.rs:12:5 Nov 06 11:53:54.187 INFO kablam! | Nov 06 11:53:54.187 INFO kablam! 12 | AtBot(RegionVar), Nov 06 11:53:54.187 INFO kablam! | ^^^^^^^^^^^^^^^^ Nov 06 11:53:54.187 INFO kablam! Nov 06 11:53:54.187 INFO kablam! warning: variant is never constructed: `SAt` Nov 06 11:53:54.187 INFO kablam! --> src/syntax/ast.rs:13:5 Nov 06 11:53:54.187 INFO kablam! | Nov 06 11:53:54.187 INFO kablam! 13 | SAt(RegionVar), Nov 06 11:53:54.187 INFO kablam! | ^^^^^^^^^^^^^^ Nov 06 11:53:54.187 INFO kablam! Nov 06 11:53:54.187 INFO kablam! warning: field is never used: `region` Nov 06 11:53:54.187 INFO kablam! --> src/syntax/ast.rs:17:5 Nov 06 11:53:54.187 INFO kablam! | Nov 06 11:53:54.187 INFO kablam! 17 | region: RegionVar, Nov 06 11:53:54.187 INFO kablam! | ^^^^^^^^^^^^^^^^^ Nov 06 11:53:54.187 INFO kablam! Nov 06 11:53:54.188 INFO kablam! warning: field is never used: `size` Nov 06 11:53:54.188 INFO kablam! --> src/syntax/ast.rs:18:5 Nov 06 11:53:54.188 INFO kablam! | Nov 06 11:53:54.188 INFO kablam! 18 | size: RegionSize Nov 06 11:53:54.188 INFO kablam! | ^^^^^^^^^^^^^^^^ Nov 06 11:53:54.188 INFO kablam! Nov 06 11:53:54.188 INFO kablam! warning: variant is never constructed: `True` Nov 06 11:53:54.188 INFO kablam! --> src/syntax/ast.rs:23:5 Nov 06 11:53:54.188 INFO kablam! | Nov 06 11:53:54.188 INFO kablam! 23 | True, Nov 06 11:53:54.188 INFO kablam! | ^^^^ Nov 06 11:53:54.188 INFO kablam! Nov 06 11:53:54.188 INFO kablam! warning: variant is never constructed: `False` Nov 06 11:53:54.188 INFO kablam! --> src/syntax/ast.rs:24:5 Nov 06 11:53:54.188 INFO kablam! | Nov 06 11:53:54.188 INFO kablam! 24 | False, Nov 06 11:53:54.188 INFO kablam! | ^^^^^ Nov 06 11:53:54.188 INFO kablam! Nov 06 11:53:54.188 INFO kablam! warning: variant is never constructed: `Number` Nov 06 11:53:54.188 INFO kablam! --> src/syntax/ast.rs:25:5 Nov 06 11:53:54.188 INFO kablam! | Nov 06 11:53:54.188 INFO kablam! 25 | Number(i32) Nov 06 11:53:54.188 INFO kablam! | ^^^^^^^^^^^ Nov 06 11:53:54.188 INFO kablam! Nov 06 11:53:54.188 INFO kablam! warning: field is never used: `name` Nov 06 11:53:54.188 INFO kablam! --> src/syntax/ast.rs:29:5 Nov 06 11:53:54.188 INFO kablam! | Nov 06 11:53:54.188 INFO kablam! 29 | name: String Nov 06 11:53:54.188 INFO kablam! | ^^^^^^^^^^^^ Nov 06 11:53:54.188 INFO kablam! Nov 06 11:53:54.188 INFO kablam! warning: variant is never constructed: `Var` Nov 06 11:53:54.188 INFO kablam! --> src/syntax/ast.rs:33:5 Nov 06 11:53:54.188 INFO kablam! | Nov 06 11:53:54.188 INFO kablam! 33 | Var(Var), Nov 06 11:53:54.188 INFO kablam! | ^^^^^^^^ Nov 06 11:53:54.188 INFO kablam! Nov 06 11:53:54.188 INFO kablam! warning: variant is never constructed: `Pair` Nov 06 11:53:54.188 INFO kablam! --> src/syntax/ast.rs:34:5 Nov 06 11:53:54.188 INFO kablam! | Nov 06 11:53:54.188 INFO kablam! 34 | Pair(Var, Var), Nov 06 11:53:54.188 INFO kablam! | ^^^^^^^^^^^^^^ Nov 06 11:53:54.188 INFO kablam! Nov 06 11:53:54.188 INFO kablam! warning: variant is never constructed: `Cons` Nov 06 11:53:54.188 INFO kablam! --> src/syntax/ast.rs:35:5 Nov 06 11:53:54.188 INFO kablam! | Nov 06 11:53:54.188 INFO kablam! 35 | Cons(Var, Var), Nov 06 11:53:54.188 INFO kablam! | ^^^^^^^^^^^^^^ Nov 06 11:53:54.188 INFO kablam! Nov 06 11:53:54.188 INFO kablam! warning: variant is never constructed: `Var` Nov 06 11:53:54.188 INFO kablam! --> src/syntax/ast.rs:40:5 Nov 06 11:53:54.188 INFO kablam! | Nov 06 11:53:54.188 INFO kablam! 40 | Var(Var), Nov 06 11:53:54.188 INFO kablam! | ^^^^^^^^ Nov 06 11:53:54.188 INFO kablam! Nov 06 11:53:54.188 INFO kablam! warning: variant is never constructed: `Let` Nov 06 11:53:54.188 INFO kablam! --> src/syntax/ast.rs:41:5 Nov 06 11:53:54.188 INFO kablam! | Nov 06 11:53:54.188 INFO kablam! 41 | / Let { Nov 06 11:53:54.188 INFO kablam! 42 | | pattern: Pattern, Nov 06 11:53:54.188 INFO kablam! 43 | | expr: &'a Expr<'a>, Nov 06 11:53:54.188 INFO kablam! 44 | | body: &'a Expr<'a>, Nov 06 11:53:54.188 INFO kablam! 45 | | }, Nov 06 11:53:54.188 INFO kablam! | |_____^ Nov 06 11:53:54.189 INFO kablam! Nov 06 11:53:54.189 INFO kablam! warning: variant is never constructed: `Pair` Nov 06 11:53:54.189 INFO kablam! --> src/syntax/ast.rs:46:5 Nov 06 11:53:54.189 INFO kablam! | Nov 06 11:53:54.189 INFO kablam! 46 | / Pair { Nov 06 11:53:54.189 INFO kablam! 47 | | fst: &'a Expr<'a>, Nov 06 11:53:54.189 INFO kablam! 48 | | snd: &'a Expr<'a>, Nov 06 11:53:54.189 INFO kablam! 49 | | at: AllocationPoint, Nov 06 11:53:54.189 INFO kablam! 50 | | }, Nov 06 11:53:54.189 INFO kablam! | |_____^ Nov 06 11:53:54.189 INFO kablam! Nov 06 11:53:54.189 INFO kablam! warning: variant is never constructed: `Cons` Nov 06 11:53:54.189 INFO kablam! --> src/syntax/ast.rs:51:5 Nov 06 11:53:54.189 INFO kablam! | Nov 06 11:53:54.189 INFO kablam! 51 | / Cons { Nov 06 11:53:54.189 INFO kablam! 52 | | head: &'a Expr<'a>, Nov 06 11:53:54.189 INFO kablam! 53 | | tail: &'a Expr<'a>, Nov 06 11:53:54.189 INFO kablam! 54 | | at: AllocationPoint, Nov 06 11:53:54.189 INFO kablam! 55 | | }, Nov 06 11:53:54.189 INFO kablam! | |_____^ Nov 06 11:53:54.189 INFO kablam! Nov 06 11:53:54.189 INFO kablam! warning: variant is never constructed: `Closure` Nov 06 11:53:54.189 INFO kablam! --> src/syntax/ast.rs:56:5 Nov 06 11:53:54.189 INFO kablam! | Nov 06 11:53:54.189 INFO kablam! 56 | / Closure { Nov 06 11:53:54.189 INFO kablam! 57 | | var: Var, Nov 06 11:53:54.189 INFO kablam! 58 | | expr: &'a Expr<'a>, Nov 06 11:53:54.189 INFO kablam! 59 | | at: AllocationPoint, Nov 06 11:53:54.189 INFO kablam! 60 | | }, Nov 06 11:53:54.189 INFO kablam! | |_____^ Nov 06 11:53:54.189 INFO kablam! Nov 06 11:53:54.189 INFO kablam! warning: variant is never constructed: `Case` Nov 06 11:53:54.189 INFO kablam! --> src/syntax/ast.rs:61:5 Nov 06 11:53:54.189 INFO kablam! | Nov 06 11:53:54.189 INFO kablam! 61 | / Case { Nov 06 11:53:54.189 INFO kablam! 62 | | target: &'a Expr<'a>, Nov 06 11:53:54.189 INFO kablam! 63 | | pattern1: Pattern, Nov 06 11:53:54.189 INFO kablam! 64 | | body1: &'a Expr<'a>, Nov 06 11:53:54.189 INFO kablam! 65 | | pattern2: Pattern, Nov 06 11:53:54.189 INFO kablam! 66 | | body2: &'a Expr<'a>, Nov 06 11:53:54.189 INFO kablam! 67 | | }, Nov 06 11:53:54.189 INFO kablam! | |_____^ Nov 06 11:53:54.189 INFO kablam! Nov 06 11:53:54.196 INFO kablam! warning: variant is never constructed: `LetRec` Nov 06 11:53:54.196 INFO kablam! --> src/syntax/ast.rs:68:5 Nov 06 11:53:54.196 INFO kablam! | Nov 06 11:53:54.196 INFO kablam! 68 | / LetRec { Nov 06 11:53:54.196 INFO kablam! 69 | | name: String, Nov 06 11:53:54.196 INFO kablam! 70 | | fr_params: Vec, Nov 06 11:53:54.196 INFO kablam! 71 | | param: Var, Nov 06 11:53:54.196 INFO kablam! ... | Nov 06 11:53:54.196 INFO kablam! 74 | | expr: &'a Expr<'a>, Nov 06 11:53:54.196 INFO kablam! 75 | | }, Nov 06 11:53:54.196 INFO kablam! | |_____^ Nov 06 11:53:54.196 INFO kablam! Nov 06 11:53:54.196 INFO kablam! warning: variant is never constructed: `App` Nov 06 11:53:54.196 INFO kablam! --> src/syntax/ast.rs:76:5 Nov 06 11:53:54.196 INFO kablam! | Nov 06 11:53:54.196 INFO kablam! 76 | / App { Nov 06 11:53:54.196 INFO kablam! 77 | | func_name: String, Nov 06 11:53:54.196 INFO kablam! 78 | | ar_params: Vec, Nov 06 11:53:54.196 INFO kablam! 79 | | at: AllocationPoint, Nov 06 11:53:54.196 INFO kablam! 80 | | }, Nov 06 11:53:54.196 INFO kablam! | |_____^ Nov 06 11:53:54.196 INFO kablam! Nov 06 11:53:54.196 INFO kablam! warning: variant is never constructed: `LetRegion` Nov 06 11:53:54.196 INFO kablam! --> src/syntax/ast.rs:81:5 Nov 06 11:53:54.196 INFO kablam! | Nov 06 11:53:54.196 INFO kablam! 81 | / LetRegion { Nov 06 11:53:54.196 INFO kablam! 82 | | bindings: Vec, Nov 06 11:53:54.196 INFO kablam! 83 | | expr: &'a Expr<'a>, Nov 06 11:53:54.196 INFO kablam! 84 | | } Nov 06 11:53:54.196 INFO kablam! | |_____^ Nov 06 11:53:54.196 INFO kablam! Nov 06 11:53:54.200 INFO kablam! warning: method `generateInMain` should have a snake case name such as `generate_in_main` Nov 06 11:53:54.200 INFO kablam! --> src/codegen/llvm/generator.rs:6:5 Nov 06 11:53:54.200 INFO kablam! | Nov 06 11:53:54.200 INFO kablam! 6 | / fn generateInMain(expr: Expr) -> String { Nov 06 11:53:54.200 INFO kablam! 7 | | format!("\ Nov 06 11:53:54.200 INFO kablam! 8 | | define i32 @main(i32, i8**) #0 {{ Nov 06 11:53:54.200 INFO kablam! 9 | | ret i32 1 Nov 06 11:53:54.200 INFO kablam! 10 | | }}\ Nov 06 11:53:54.200 INFO kablam! 11 | | ") Nov 06 11:53:54.200 INFO kablam! 12 | | } Nov 06 11:53:54.200 INFO kablam! | |_____^ Nov 06 11:53:54.200 INFO kablam! | Nov 06 11:53:54.200 INFO kablam! = note: #[warn(non_snake_case)] on by default Nov 06 11:53:54.200 INFO kablam! Nov 06 11:53:54.484 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 1.17s Nov 06 11:53:54.489 INFO kablam! su: No module specific data is present Nov 06 11:53:55.460 INFO running `"docker" "rm" "-f" "560a0a1134f18e010448d9ba4a8a6daa4652753e846d20018f581f6fd6f3fbd4"` Nov 06 11:53:55.730 INFO blam! 560a0a1134f18e010448d9ba4a8a6daa4652753e846d20018f581f6fd6f3fbd4