Dec 01 22:17:59.398 INFO documenting MaXiaoye/CAS706_assignment3_Rust against master#147e60c5f89cfa2d3ffc247413956a37582c98e7 for pr-55318-1
Dec 01 22:17:59.399 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318-1/worker-2/master#147e60c5f89cfa2d3ffc247413956a37582c98e7:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55318-1/master#147e60c5f89cfa2d3ffc247413956a37582c98e7:/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 +147e60c5f89cfa2d3ffc247413956a37582c98e7-alt doc --frozen --no-deps --document-private-items" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 01 22:17:59.912 INFO [stdout] 8383490b8d6bf8b6b2c6b96dc0fb396a643432dc8e9b6bb641eed29dd8561bb5
Dec 01 22:17:59.914 INFO running `"docker" "start" "-a" "8383490b8d6bf8b6b2c6b96dc0fb396a643432dc8e9b6bb641eed29dd8561bb5"`
Dec 01 22:18:01.624 INFO [stderr] usermod: no changes
Dec 01 22:18:01.712 INFO [stderr] warning: An explicit [[bin]] section is specified in Cargo.toml which currently
Dec 01 22:18:01.712 INFO [stderr] disables Cargo from automatically inferring other binary targets.
Dec 01 22:18:01.712 INFO [stderr] This inference behavior will change in the Rust 2018 edition and the following
Dec 01 22:18:01.712 INFO [stderr] files will be included as a binary target:
Dec 01 22:18:01.712 INFO [stderr] 
Dec 01 22:18:01.712 INFO [stderr] * /source/src/main.rs
Dec 01 22:18:01.712 INFO [stderr] 
Dec 01 22:18:01.712 INFO [stderr] This is likely to break cargo build or cargo test as these files may not be
Dec 01 22:18:01.712 INFO [stderr] ready to be compiled as a binary target today. You can future-proof yourself
Dec 01 22:18:01.712 INFO [stderr] and disable this warning by adding `autobins = false` to your [package]
Dec 01 22:18:01.712 INFO [stderr] section. You may also move the files to a location where Cargo would not
Dec 01 22:18:01.712 INFO [stderr] automatically infer them to be a target, such as in subfolders.
Dec 01 22:18:01.712 INFO [stderr] 
Dec 01 22:18:01.712 INFO [stderr] For more information on this warning you can consult
Dec 01 22:18:01.712 INFO [stderr] https://github.com/rust-lang/cargo/issues/5330
Dec 01 22:18:01.712 INFO [stderr] warning: path `/source/src/main.rs` was erroneously implicitly accepted for binary `hello_world`,
Dec 01 22:18:01.712 INFO [stderr] please set bin.path in Cargo.toml
Dec 01 22:18:01.712 INFO [stderr]  Documenting assignmentThree_Rust v0.0.1 (/source)
Dec 01 22:18:02.343 INFO [stderr] warning: structure field `ParamTy` should have a snake case name such as `param_ty`
Dec 01 22:18:02.343 INFO [stderr]   --> src/main.rs:33:9
Dec 01 22:18:02.343 INFO [stderr]    |
Dec 01 22:18:02.343 INFO [stderr] 33 |         TyFun{ParamTy: Box<Type>, ReturnTy: Box<Type>}
Dec 01 22:18:02.343 INFO [stderr]    |               ^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.343 INFO [stderr]    |
Dec 01 22:18:02.343 INFO [stderr]    = note: #[warn(non_snake_case)] on by default
Dec 01 22:18:02.343 INFO [stderr] 
Dec 01 22:18:02.343 INFO [stderr] warning: structure field `ReturnTy` should have a snake case name such as `return_ty`
Dec 01 22:18:02.343 INFO [stderr]   --> src/main.rs:33:29
Dec 01 22:18:02.343 INFO [stderr]    |
Dec 01 22:18:02.343 INFO [stderr] 33 |         TyFun{ParamTy: Box<Type>, ReturnTy: Box<Type>}
Dec 01 22:18:02.343 INFO [stderr]    |                                   ^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.344 INFO [stderr] 
Dec 01 22:18:02.344 INFO [stderr] warning: function `freshVar` should have a snake case name such as `fresh_var`
Dec 01 22:18:02.344 INFO [stderr]   --> src/main.rs:37:2
Dec 01 22:18:02.344 INFO [stderr]    |
Dec 01 22:18:02.344 INFO [stderr] 37 |       fn freshVar(v: &mut u32) -> Type {
Dec 01 22:18:02.344 INFO [stderr]    |  _____^
Dec 01 22:18:02.344 INFO [stderr] 38 | |         *v+=1;
Dec 01 22:18:02.344 INFO [stderr] 39 | |         Type::TyVar{num: *v}
Dec 01 22:18:02.344 INFO [stderr] 40 | |     } 
Dec 01 22:18:02.344 INFO [stderr]    | |_____^
Dec 01 22:18:02.344 INFO [stderr] 
Dec 01 22:18:02.348 INFO [stderr] warning: variant `T_INT` should have a camel case name such as `TInt`
Dec 01 22:18:02.348 INFO [stderr]   --> src/main.rs:46:3
Dec 01 22:18:02.348 INFO [stderr]    |
Dec 01 22:18:02.348 INFO [stderr] 46 |         T_INT{ty: Type, value: u32},
Dec 01 22:18:02.348 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.348 INFO [stderr]    |
Dec 01 22:18:02.348 INFO [stderr]    = note: #[warn(non_camel_case_types)] on by default
Dec 01 22:18:02.348 INFO [stderr] 
Dec 01 22:18:02.348 INFO [stderr] warning: variant `T_BOOL` should have a camel case name such as `TBool`
Dec 01 22:18:02.348 INFO [stderr]   --> src/main.rs:47:6
Dec 01 22:18:02.348 INFO [stderr]    |
Dec 01 22:18:02.348 INFO [stderr] 47 |         T_BOOL{ty: Type, value: bool},
Dec 01 22:18:02.348 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.348 INFO [stderr] 
Dec 01 22:18:02.348 INFO [stderr] warning: variant `T_VAR` should have a camel case name such as `TVar`
Dec 01 22:18:02.348 INFO [stderr]   --> src/main.rs:48:6
Dec 01 22:18:02.348 INFO [stderr]    |
Dec 01 22:18:02.348 INFO [stderr] 48 |         T_VAR{ty: Type, name: char},
Dec 01 22:18:02.348 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.348 INFO [stderr] 
Dec 01 22:18:02.348 INFO [stderr] warning: variant `T_FUN` should have a camel case name such as `TFun`
Dec 01 22:18:02.348 INFO [stderr]   --> src/main.rs:49:6
Dec 01 22:18:02.348 INFO [stderr]    |
Dec 01 22:18:02.348 INFO [stderr] 49 |         T_FUN{ty: Type, param: Box<TypedTerm>, body: Box<TypedTerm>},
Dec 01 22:18:02.348 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.348 INFO [stderr] 
Dec 01 22:18:02.352 INFO [stderr] warning: variant `T_Closure` should have a camel case name such as `TClosure`
Dec 01 22:18:02.352 INFO [stderr]   --> src/main.rs:50:6
Dec 01 22:18:02.352 INFO [stderr]    |
Dec 01 22:18:02.352 INFO [stderr] 50 |         T_Closure{fun: Box<TypedTerm>, env: InterpEnv},
Dec 01 22:18:02.352 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.352 INFO [stderr] 
Dec 01 22:18:02.352 INFO [stderr] warning: variant `T_APP` should have a camel case name such as `TApp`
Dec 01 22:18:02.352 INFO [stderr]   --> src/main.rs:51:6
Dec 01 22:18:02.352 INFO [stderr]    |
Dec 01 22:18:02.352 INFO [stderr] 51 |         T_APP{ty: Type, fun: Box<TypedTerm>, arg: Box<TypedTerm>},
Dec 01 22:18:02.352 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.352 INFO [stderr] 
Dec 01 22:18:02.352 INFO [stderr] warning: variant `T_CALC` should have a camel case name such as `TCalc`
Dec 01 22:18:02.352 INFO [stderr]   --> src/main.rs:52:6
Dec 01 22:18:02.352 INFO [stderr]    |
Dec 01 22:18:02.352 INFO [stderr] 52 |         T_CALC{ty: Type, op: char, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 01 22:18:02.352 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.352 INFO [stderr] 
Dec 01 22:18:02.352 INFO [stderr] warning: variant `T_NOT` should have a camel case name such as `TNot`
Dec 01 22:18:02.352 INFO [stderr]   --> src/main.rs:53:6
Dec 01 22:18:02.352 INFO [stderr]    |
Dec 01 22:18:02.352 INFO [stderr] 53 |         T_NOT{ty: Type, exp: Box<TypedTerm>},
Dec 01 22:18:02.352 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.352 INFO [stderr] 
Dec 01 22:18:02.352 INFO [stderr] warning: variant `T_AND` should have a camel case name such as `TAnd`
Dec 01 22:18:02.352 INFO [stderr]   --> src/main.rs:54:6
Dec 01 22:18:02.352 INFO [stderr]    |
Dec 01 22:18:02.352 INFO [stderr] 54 |         T_AND{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 01 22:18:02.352 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.352 INFO [stderr] 
Dec 01 22:18:02.352 INFO [stderr] warning: variant `T_OR` should have a camel case name such as `TOr`
Dec 01 22:18:02.352 INFO [stderr]   --> src/main.rs:55:6
Dec 01 22:18:02.352 INFO [stderr]    |
Dec 01 22:18:02.352 INFO [stderr] 55 |         T_OR{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 01 22:18:02.352 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.352 INFO [stderr] 
Dec 01 22:18:02.356 INFO [stderr] warning: variant `T_EQU` should have a camel case name such as `TEqu`
Dec 01 22:18:02.356 INFO [stderr]   --> src/main.rs:56:6
Dec 01 22:18:02.356 INFO [stderr]    |
Dec 01 22:18:02.356 INFO [stderr] 56 |         T_EQU{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 01 22:18:02.356 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.356 INFO [stderr] 
Dec 01 22:18:02.356 INFO [stderr] warning: variant `T_LT` should have a camel case name such as `TLt`
Dec 01 22:18:02.356 INFO [stderr]   --> src/main.rs:57:6
Dec 01 22:18:02.356 INFO [stderr]    |
Dec 01 22:18:02.356 INFO [stderr] 57 |         T_LT{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 01 22:18:02.356 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.356 INFO [stderr] 
Dec 01 22:18:02.356 INFO [stderr] warning: variant `T_IF` should have a camel case name such as `TIf`
Dec 01 22:18:02.356 INFO [stderr]   --> src/main.rs:58:6
Dec 01 22:18:02.356 INFO [stderr]    |
Dec 01 22:18:02.356 INFO [stderr] 58 |         T_IF{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>, exp3: Box<TypedTerm>},
Dec 01 22:18:02.356 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.356 INFO [stderr] 
Dec 01 22:18:02.356 INFO [stderr] warning: variant `T_LET` should have a camel case name such as `TLet`
Dec 01 22:18:02.356 INFO [stderr]   --> src/main.rs:59:6
Dec 01 22:18:02.356 INFO [stderr]    |
Dec 01 22:18:02.356 INFO [stderr] 59 |         T_LET{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>, exp3: Box<TypedTerm>}
Dec 01 22:18:02.356 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.356 INFO [stderr] 
Dec 01 22:18:02.356 INFO [stderr] warning: method `getType` should have a snake case name such as `get_type`
Dec 01 22:18:02.356 INFO [stderr]   --> src/main.rs:65:3
Dec 01 22:18:02.356 INFO [stderr]    |
Dec 01 22:18:02.356 INFO [stderr] 65 |           fn getType(self) -> Type {
Dec 01 22:18:02.356 INFO [stderr]    |  _________^
Dec 01 22:18:02.356 INFO [stderr] 66 | |             match self {
Dec 01 22:18:02.356 INFO [stderr] 67 | |                 TypedTerm::T_INT{ty: t, value: v} => t,
Dec 01 22:18:02.356 INFO [stderr] 68 | |                 TypedTerm::T_BOOL{ty: t, value: v} => t,
Dec 01 22:18:02.356 INFO [stderr] ...  |
Dec 01 22:18:02.356 INFO [stderr] 81 | |             }
Dec 01 22:18:02.356 INFO [stderr] 82 | |         }
Dec 01 22:18:02.356 INFO [stderr]    | |_________^
Dec 01 22:18:02.356 INFO [stderr] 
Dec 01 22:18:02.356 INFO [stderr] warning: structure field `Env` should have a snake case name such as `env`
Dec 01 22:18:02.356 INFO [stderr]   --> src/main.rs:88:3
Dec 01 22:18:02.356 INFO [stderr]    |
Dec 01 22:18:02.356 INFO [stderr] 88 |         Env: HashMap<char,Type>
Dec 01 22:18:02.356 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.360 INFO [stderr] 
Dec 01 22:18:02.360 INFO [stderr] warning: variable `varNum` should have a snake case name such as `var_num`
Dec 01 22:18:02.360 INFO [stderr]    --> src/main.rs:107:52
Dec 01 22:18:02.360 INFO [stderr]     |
Dec 01 22:18:02.360 INFO [stderr] 107 |     fn annotate(term: UntypedTerm, mut tenv: TypeEnv, varNum: &mut u32) -> TypedTerm {
Dec 01 22:18:02.360 INFO [stderr]     |                                                       ^^^^^^
Dec 01 22:18:02.360 INFO [stderr] 
Dec 01 22:18:02.360 INFO [stderr] warning: structure field `typeA` should have a snake case name such as `type_a`
Dec 01 22:18:02.360 INFO [stderr]    --> src/main.rs:149:3
Dec 01 22:18:02.360 INFO [stderr]     |
Dec 01 22:18:02.360 INFO [stderr] 149 |         typeA: Type,
Dec 01 22:18:02.360 INFO [stderr]     |         ^^^^^^^^^^^
Dec 01 22:18:02.360 INFO [stderr] 
Dec 01 22:18:02.360 INFO [stderr] warning: structure field `typeB` should have a snake case name such as `type_b`
Dec 01 22:18:02.360 INFO [stderr]    --> src/main.rs:150:3
Dec 01 22:18:02.360 INFO [stderr]     |
Dec 01 22:18:02.360 INFO [stderr] 150 |         typeB: Type
Dec 01 22:18:02.360 INFO [stderr]     |         ^^^^^^^^^^^
Dec 01 22:18:02.360 INFO [stderr] 
Dec 01 22:18:02.360 INFO [stderr] warning: method `fromPair` should have a snake case name such as `from_pair`
Dec 01 22:18:02.360 INFO [stderr]    --> src/main.rs:277:3
Dec 01 22:18:02.360 INFO [stderr]     |
Dec 01 22:18:02.360 INFO [stderr] 277 |           fn fromPair(tvar: u32, ty: Type) -> Substitution {
Dec 01 22:18:02.360 INFO [stderr]     |  _________^
Dec 01 22:18:02.360 INFO [stderr] 278 | |             let mut s1 = HashMap::new();
Dec 01 22:18:02.360 INFO [stderr] 279 | |             s1.insert(tvar, ty);
Dec 01 22:18:02.360 INFO [stderr] 280 | |             Substitution{solutions: s1}
Dec 01 22:18:02.360 INFO [stderr] 281 | |         }
Dec 01 22:18:02.360 INFO [stderr]     | |_________^
Dec 01 22:18:02.360 INFO [stderr] 
Dec 01 22:18:02.360 INFO [stderr] warning: method `applyToSet` should have a snake case name such as `apply_to_set`
Dec 01 22:18:02.360 INFO [stderr]    --> src/main.rs:284:3
Dec 01 22:18:02.360 INFO [stderr]     |
Dec 01 22:18:02.360 INFO [stderr] 284 |           fn applyToSet (&self,constraints: &mut Vec<Constraint>) -> Vec<Constraint> {
Dec 01 22:18:02.360 INFO [stderr]     |  _________^
Dec 01 22:18:02.360 INFO [stderr] 285 | |             for elem in constraints.iter_mut() {
Dec 01 22:18:02.360 INFO [stderr] 286 | |                 //traverse target constraint set and update each type in all elements. 
Dec 01 22:18:02.360 INFO [stderr] 287 | |                 *elem = Constraint{typeA: Self::applyOneType(&self, elem.typeA.clone()), typeB: Self::applyOneType(&self,elem.typeB.clone())}
Dec 01 22:18:02.360 INFO [stderr] 288 | |             }
Dec 01 22:18:02.360 INFO [stderr] 289 | |             constraints.clone()
Dec 01 22:18:02.360 INFO [stderr] 290 | |         }
Dec 01 22:18:02.360 INFO [stderr]     | |_________^
Dec 01 22:18:02.360 INFO [stderr] 
Dec 01 22:18:02.360 INFO [stderr] warning: method `applyOneType` should have a snake case name such as `apply_one_type`
Dec 01 22:18:02.360 INFO [stderr]    --> src/main.rs:293:3
Dec 01 22:18:02.360 INFO [stderr]     |
Dec 01 22:18:02.364 INFO [stderr] 293 |           fn applyOneType(&self, ty: Type) -> Type {
Dec 01 22:18:02.364 INFO [stderr]     |  _________^
Dec 01 22:18:02.364 INFO [stderr] 294 | |             match ty {
Dec 01 22:18:02.364 INFO [stderr] 295 | |                 Type::TyInt => ty,
Dec 01 22:18:02.364 INFO [stderr] 296 | |                 Type::TyBool => ty,
Dec 01 22:18:02.364 INFO [stderr] ...   |
Dec 01 22:18:02.364 INFO [stderr] 305 | |             }
Dec 01 22:18:02.364 INFO [stderr] 306 | |         }
Dec 01 22:18:02.364 INFO [stderr]     | |_________^
Dec 01 22:18:02.364 INFO [stderr] 
Dec 01 22:18:02.364 INFO [stderr] warning: function `unifyOne` should have a snake case name such as `unify_one`
Dec 01 22:18:02.364 INFO [stderr]    --> src/main.rs:343:2
Dec 01 22:18:02.364 INFO [stderr]     |
Dec 01 22:18:02.364 INFO [stderr] 343 |       fn unifyOne(constraint: Constraint) -> Substitution {
Dec 01 22:18:02.364 INFO [stderr]     |  _____^
Dec 01 22:18:02.364 INFO [stderr] 344 | |         match (constraint.typeA, constraint.typeB) {
Dec 01 22:18:02.364 INFO [stderr] 345 | |             (Type::TyInt, Type:: TyInt) => Substitution{solutions: HashMap::new()},
Dec 01 22:18:02.364 INFO [stderr] 346 | |             (Type::TyBool, Type:: TyBool) => Substitution{solutions: HashMap::new()},
Dec 01 22:18:02.364 INFO [stderr] ...   |
Dec 01 22:18:02.364 INFO [stderr] 352 | |         }
Dec 01 22:18:02.364 INFO [stderr] 353 | |     }
Dec 01 22:18:02.364 INFO [stderr]     | |_____^
Dec 01 22:18:02.364 INFO [stderr] 
Dec 01 22:18:02.364 INFO [stderr] warning: function `unifyVar` should have a snake case name such as `unify_var`
Dec 01 22:18:02.364 INFO [stderr]    --> src/main.rs:356:2
Dec 01 22:18:02.364 INFO [stderr]     |
Dec 01 22:18:02.364 INFO [stderr] 356 |       fn unifyVar(tvar: u32, ty: Type) -> Substitution {
Dec 01 22:18:02.364 INFO [stderr]     |  _____^
Dec 01 22:18:02.364 INFO [stderr] 357 | |         match ty {
Dec 01 22:18:02.364 INFO [stderr] 358 | |             //do nothing if they are the same type variable
Dec 01 22:18:02.364 INFO [stderr] 359 | |             Type::TyVar{num: n} => {
Dec 01 22:18:02.364 INFO [stderr] ...   |
Dec 01 22:18:02.364 INFO [stderr] 383 | |         }
Dec 01 22:18:02.364 INFO [stderr] 384 | |     }
Dec 01 22:18:02.364 INFO [stderr]     | |_____^
Dec 01 22:18:02.364 INFO [stderr] 
Dec 01 22:18:02.364 INFO [stderr] warning: function `typeInference` should have a snake case name such as `type_inference`
Dec 01 22:18:02.364 INFO [stderr]    --> src/main.rs:397:2
Dec 01 22:18:02.364 INFO [stderr]     |
Dec 01 22:18:02.364 INFO [stderr] 397 |       fn typeInference(term: UntypedTerm) {
Dec 01 22:18:02.364 INFO [stderr]     |  _____^
Dec 01 22:18:02.364 INFO [stderr] 398 | |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 01 22:18:02.364 INFO [stderr] 399 | |         let TypedTerm = annotate(term, EnvT, &mut 0);
Dec 01 22:18:02.364 INFO [stderr] 400 | |         let Constraints = collect(TypedTerm.clone());
Dec 01 22:18:02.364 INFO [stderr] ...   |
Dec 01 22:18:02.364 INFO [stderr] 408 | |         println!(" ");
Dec 01 22:18:02.364 INFO [stderr] 409 | |     }
Dec 01 22:18:02.364 INFO [stderr]     | |_____^
Dec 01 22:18:02.364 INFO [stderr] 
Dec 01 22:18:02.364 INFO [stderr] warning: structure field `Env` should have a snake case name such as `env`
Dec 01 22:18:02.364 INFO [stderr]    --> src/main.rs:415:3
Dec 01 22:18:02.364 INFO [stderr]     |
Dec 01 22:18:02.364 INFO [stderr] 415 |         Env: HashMap<char,TypedTerm>
Dec 01 22:18:02.365 INFO [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 01 22:18:02.365 INFO [stderr] 
Dec 01 22:18:02.365 INFO [stderr] warning: function `Interp` should have a snake case name such as `interp`
Dec 01 22:18:02.365 INFO [stderr]    --> src/main.rs:433:2
Dec 01 22:18:02.365 INFO [stderr]     |
Dec 01 22:18:02.365 INFO [stderr] 433 |       fn Interp(term: TypedTerm, env: &mut InterpEnv) -> TypedTerm {
Dec 01 22:18:02.365 INFO [stderr]     |  _____^
Dec 01 22:18:02.365 INFO [stderr] 434 | |         match term {
Dec 01 22:18:02.365 INFO [stderr] 435 | |             TypedTerm::T_INT{ty: t, value: v} => TypedTerm::T_INT{ty: t, value: v},
Dec 01 22:18:02.365 INFO [stderr] 436 | |             TypedTerm::T_BOOL{ty: t, value: v} => TypedTerm::T_BOOL{ty: t, value: v},
Dec 01 22:18:02.365 INFO [stderr] ...   |
Dec 01 22:18:02.365 INFO [stderr] 519 | |         }
Dec 01 22:18:02.365 INFO [stderr] 520 | |     }
Dec 01 22:18:02.365 INFO [stderr]     | |_____^
Dec 01 22:18:02.365 INFO [stderr] 
Dec 01 22:18:02.365 INFO [stderr] warning: function `InterpE` should have a snake case name such as `interp_e`
Dec 01 22:18:02.365 INFO [stderr]    --> src/main.rs:522:2
Dec 01 22:18:02.365 INFO [stderr]     |
Dec 01 22:18:02.365 INFO [stderr] 522 |       fn InterpE(term: UntypedTerm) {
Dec 01 22:18:02.365 INFO [stderr]     |  _____^
Dec 01 22:18:02.365 INFO [stderr] 523 | |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 01 22:18:02.365 INFO [stderr] 524 | |         let TypedTerm = annotate(term, EnvT, &mut 0);
Dec 01 22:18:02.365 INFO [stderr] 525 | |         let Constraints = collect(TypedTerm.clone());
Dec 01 22:18:02.365 INFO [stderr] ...   |
Dec 01 22:18:02.365 INFO [stderr] 530 | |         println!("{:?}",Interp(TypedTerm, &mut EnvI));
Dec 01 22:18:02.365 INFO [stderr] 531 | |     }
Dec 01 22:18:02.365 INFO [stderr]     | |_____^
Dec 01 22:18:02.365 INFO [stderr] 
Dec 01 22:18:02.368 INFO [stderr] warning: function `Add` should have a snake case name such as `add`
Dec 01 22:18:02.368 INFO [stderr]    --> src/main.rs:534:2
Dec 01 22:18:02.368 INFO [stderr]     |
Dec 01 22:18:02.368 INFO [stderr] 534 |       fn Add(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 01 22:18:02.368 INFO [stderr]     |  _____^
Dec 01 22:18:02.368 INFO [stderr] 535 | |         match (a1,a2) {
Dec 01 22:18:02.368 INFO [stderr] 536 | |             (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1+v2},
Dec 01 22:18:02.368 INFO [stderr] 537 | |             _ => panic!("undefined !")
Dec 01 22:18:02.368 INFO [stderr] 538 | |         }
Dec 01 22:18:02.368 INFO [stderr] 539 | |     }
Dec 01 22:18:02.368 INFO [stderr]     | |_____^
Dec 01 22:18:02.368 INFO [stderr] 
Dec 01 22:18:02.368 INFO [stderr] warning: function `Minus` should have a snake case name such as `minus`
Dec 01 22:18:02.368 INFO [stderr]    --> src/main.rs:541:2
Dec 01 22:18:02.368 INFO [stderr]     |
Dec 01 22:18:02.368 INFO [stderr] 541 |       fn Minus(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 01 22:18:02.368 INFO [stderr]     |  _____^
Dec 01 22:18:02.368 INFO [stderr] 542 | |         match (a1,a2) {
Dec 01 22:18:02.368 INFO [stderr] 543 | |             (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1-v2},
Dec 01 22:18:02.368 INFO [stderr] 544 | |             _ => panic!("undefined !")
Dec 01 22:18:02.368 INFO [stderr] 545 | |         }
Dec 01 22:18:02.368 INFO [stderr] 546 | |     }
Dec 01 22:18:02.368 INFO [stderr]     | |_____^
Dec 01 22:18:02.368 INFO [stderr] 
Dec 01 22:18:02.368 INFO [stderr] warning: function `Mul` should have a snake case name such as `mul`
Dec 01 22:18:02.368 INFO [stderr]    --> src/main.rs:548:2
Dec 01 22:18:02.368 INFO [stderr]     |
Dec 01 22:18:02.368 INFO [stderr] 548 |       fn Mul(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 01 22:18:02.368 INFO [stderr]     |  _____^
Dec 01 22:18:02.368 INFO [stderr] 549 | |         match (a1,a2) {
Dec 01 22:18:02.368 INFO [stderr] 550 | |             (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1*v2},
Dec 01 22:18:02.368 INFO [stderr] 551 | |             _ => panic!("undefined !")
Dec 01 22:18:02.368 INFO [stderr] 552 | |         }
Dec 01 22:18:02.368 INFO [stderr] 553 | |     }
Dec 01 22:18:02.368 INFO [stderr]     | |_____^
Dec 01 22:18:02.368 INFO [stderr] 
Dec 01 22:18:02.368 INFO [stderr] warning: function `Div` should have a snake case name such as `div`
Dec 01 22:18:02.368 INFO [stderr]    --> src/main.rs:555:2
Dec 01 22:18:02.368 INFO [stderr]     |
Dec 01 22:18:02.368 INFO [stderr] 555 |       fn Div(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 01 22:18:02.368 INFO [stderr]     |  _____^
Dec 01 22:18:02.368 INFO [stderr] 556 | |         match (a1,a2) {
Dec 01 22:18:02.368 INFO [stderr] 557 | |             (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1/v2},
Dec 01 22:18:02.368 INFO [stderr] 558 | |             _ => panic!("undefined !")
Dec 01 22:18:02.368 INFO [stderr] 559 | |         }
Dec 01 22:18:02.368 INFO [stderr] 560 | |     }
Dec 01 22:18:02.368 INFO [stderr]     | |_____^
Dec 01 22:18:02.368 INFO [stderr] 
Dec 01 22:18:02.368 INFO [stderr] warning: function `Lt` should have a snake case name such as `lt`
Dec 01 22:18:02.368 INFO [stderr]    --> src/main.rs:562:2
Dec 01 22:18:02.368 INFO [stderr]     |
Dec 01 22:18:02.368 INFO [stderr] 562 |       fn Lt(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 01 22:18:02.368 INFO [stderr]     |  _____^
Dec 01 22:18:02.369 INFO [stderr] 563 | |         match (a1,a2) {
Dec 01 22:18:02.369 INFO [stderr] 564 | |             (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyInt, value: v1 < v2},
Dec 01 22:18:02.369 INFO [stderr] 565 | |             _ => panic!("undefined !")
Dec 01 22:18:02.369 INFO [stderr] 566 | |         }
Dec 01 22:18:02.369 INFO [stderr] 567 | |     }
Dec 01 22:18:02.369 INFO [stderr]     | |_____^
Dec 01 22:18:02.369 INFO [stderr] 
Dec 01 22:18:02.369 INFO [stderr] warning: function `And` should have a snake case name such as `and`
Dec 01 22:18:02.369 INFO [stderr]    --> src/main.rs:570:2
Dec 01 22:18:02.372 INFO [stderr]     |
Dec 01 22:18:02.372 INFO [stderr] 570 |       fn And(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 01 22:18:02.372 INFO [stderr]     |  _____^
Dec 01 22:18:02.372 INFO [stderr] 571 | |         match (a1,a2) {
Dec 01 22:18:02.372 INFO [stderr] 572 | |             (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 && v2},
Dec 01 22:18:02.372 INFO [stderr] 573 | |             _ => panic!("undefined !")
Dec 01 22:18:02.372 INFO [stderr] 574 | |         }
Dec 01 22:18:02.372 INFO [stderr] 575 | |     }
Dec 01 22:18:02.372 INFO [stderr]     | |_____^
Dec 01 22:18:02.372 INFO [stderr] 
Dec 01 22:18:02.372 INFO [stderr] warning: function `Or` should have a snake case name such as `or`
Dec 01 22:18:02.372 INFO [stderr]    --> src/main.rs:577:2
Dec 01 22:18:02.372 INFO [stderr]     |
Dec 01 22:18:02.372 INFO [stderr] 577 |       fn Or(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 01 22:18:02.372 INFO [stderr]     |  _____^
Dec 01 22:18:02.372 INFO [stderr] 578 | |         match (a1,a2) {
Dec 01 22:18:02.372 INFO [stderr] 579 | |             (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 || v2},
Dec 01 22:18:02.372 INFO [stderr] 580 | |             _ => panic!("undefined !")
Dec 01 22:18:02.372 INFO [stderr] 581 | |         }
Dec 01 22:18:02.372 INFO [stderr] 582 | |     }
Dec 01 22:18:02.372 INFO [stderr]     | |_____^
Dec 01 22:18:02.372 INFO [stderr] 
Dec 01 22:18:02.372 INFO [stderr] warning: function `Equ` should have a snake case name such as `equ`
Dec 01 22:18:02.372 INFO [stderr]    --> src/main.rs:584:2
Dec 01 22:18:02.372 INFO [stderr]     |
Dec 01 22:18:02.372 INFO [stderr] 584 |       fn Equ(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 01 22:18:02.372 INFO [stderr]     |  _____^
Dec 01 22:18:02.372 INFO [stderr] 585 | |         match (a1,a2) {
Dec 01 22:18:02.372 INFO [stderr] 586 | |             (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2},
Dec 01 22:18:02.372 INFO [stderr] 587 | |             (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2},
Dec 01 22:18:02.372 INFO [stderr] 588 | |             _ => panic!("undefined !")
Dec 01 22:18:02.372 INFO [stderr] 589 | |         }
Dec 01 22:18:02.372 INFO [stderr] 590 | |     }
Dec 01 22:18:02.372 INFO [stderr]     | |_____^
Dec 01 22:18:02.372 INFO [stderr] 
Dec 01 22:18:03.916 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.26s
Dec 01 22:18:03.921 INFO [stderr] su: No module specific data is present
Dec 01 22:18:04.531 INFO running `"docker" "inspect" "8383490b8d6bf8b6b2c6b96dc0fb396a643432dc8e9b6bb641eed29dd8561bb5"`
Dec 01 22:18:04.827 INFO running `"docker" "rm" "-f" "8383490b8d6bf8b6b2c6b96dc0fb396a643432dc8e9b6bb641eed29dd8561bb5"`
Dec 01 22:18:05.108 INFO [stdout] 8383490b8d6bf8b6b2c6b96dc0fb396a643432dc8e9b6bb641eed29dd8561bb5