implement expect box reporting

This commit is contained in:
Folkert 2022-07-28 17:01:33 +02:00
parent 1bfac155ca
commit e61f025fef
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
2 changed files with 70 additions and 10 deletions

View file

@ -518,4 +518,42 @@ mod test {
),
);
}
#[test]
fn box_with_strings() {
run_expect_test(
indoc!(
r#"
app "test" provides [main] to "./platform"
main = 0
expect
a = Box.box "Astra mortemque praestare gradatim"
b = Box.box "Profundum et fundamentum"
a == b
"#
),
indoc!(
r#"
This expectation failed:
5> expect
6> a = Box.box "Astra mortemque praestare gradatim"
7> b = Box.box "Profundum et fundamentum"
8>
9> a == b
When it failed, these variables had these values:
a : Box Str
a = Box.box "Astra mortemque praestare gradatim"
b : Box Str
b = Box.box "Profundum et fundamentum"
"#
),
);
}
}