waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

chore: remove some dbg macros

Browse Source
This commit is contained in:
rvcas
2024-03-29 11:28:22 -04:00
parent 21b1e29f09
commit ce2c723d0c
3 changed files with 12 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
crates/aiken-lang/src/tests/check.rs
View File

@@ -95,8 +95,6 @@ fn bls12_381_ml_result_in_data_type() {
let res = check(parse(source_code));
dbg!(&res);
assert!(matches!(res, Err((_, Error::IllegalTypeInData { .. }))))
}
@@ -1912,7 +1910,7 @@ fn forbid_partial_down_casting() {
"#;
assert!(matches!(
dbg!(check(parse(source_code))),
check(parse(source_code)),
Err((_, Error::CouldNotUnify { .. }))
))
}
@@ -1931,7 +1929,7 @@ fn forbid_partial_up_casting() {
"#;
assert!(matches!(
dbg!(check(parse(source_code))),
check(parse(source_code)),
Err((_, Error::CouldNotUnify { .. }))
))
}