roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-22 08:17:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

Check for canoncalization problems in solve

Browse Source
This commit is contained in:
Richard Feldman 2020-04-05 17:50:29 -04:00
parent 3b507f4f48
commit a291946aa5
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/solve/tests/test_solve.rs
View File

@ -53,13 +53,17 @@ mod test_solve {
}
fn infer_eq(src: &str, expected: &str) {
let (_, _can_problems, actual) = infer_eq_help(src);
let (_, can_problems, actual) = infer_eq_help(src);
assert_eq!(can_problems, Vec::new(), "Canonicalization problems: ");
assert_eq!(actual, expected.to_string());
}
fn infer_eq_without_problem(src: &str, expected: &str) {
let (type_problems, _, actual) = infer_eq_help(src);
let (type_problems, can_problems, actual) = infer_eq_help(src);
assert_eq!(can_problems, Vec::new(), "Canonicalization problems: ");
if !type_problems.is_empty() {
// fail with an assert, but print the problems normally so rust doesn't try to diff