Block-level scoping and variable manager #503
Annotations
2 errors and 5 warnings
|
Check formatting
Process completed with exit code 1.
|
|
|
|
Check formatting:
crates/lean_compiler/src/lib.rs#L24
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/lib.rs
|
|
Check formatting:
crates/lean_compiler/src/b_compile_intermediate.rs#L552
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/b_compile_intermediate.rs
|
|
Check formatting:
crates/lean_compiler/src/a_simplify_lang.rs#L337
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
|
|
Check formatting:
crates/lean_compiler/src/a_simplify_lang.rs#L330
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
|
|
Check formatting:
crates/lean_compiler/src/a_simplify_lang.rs#L319
Diff in /home/runner/work/leanMultisig/leanMultisig/crates/lean_compiler/src/a_simplify_lang.rs
|
Loading