HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-10-05 15:57:08 +03:00
Code Issues Packages Projects Releases Wiki Activity

Run cargo fmt

Browse Source
This commit is contained in:
Eduardo Sandalo Porto 2024-07-04 16:30:11 -03:00
parent 4e0823a015
commit 91ceca04c9
2 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/fun/transform/fix_match_terms.rs
View File

@ -177,13 +177,11 @@ impl Term {
*self = Term::Use {
nam: Some(bnd.clone()),
val: arg,
nxt: Box::new(
Term::Use {
nam: Some(var),
val: Box::new(Term::Var { nam: bnd }),
nxt: Box::new(std::mem::take(self)),
}
)
nxt: Box::new(Term::Use {
nam: Some(var),
val: Box::new(Term::Var { nam: bnd }),
nxt: Box::new(std::mem::take(self)),
}),
}
}
}

2
tests/golden_tests.rs
View File

@ -221,7 +221,7 @@ fn readback_hvm() {
#[test]
fn simplify_matches() {
run_golden_test_dir(function_name!(), &|code, path| {
let diagnostics_cfg = DiagnosticsConfig {
let diagnostics_cfg = DiagnosticsConfig {
irrefutable_match: Severity::Allow,
..DiagnosticsConfig::new(Severity::Error, true)
};