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

test(editor): constrain empty record

Browse Source
This commit is contained in:
rvcas 2021-04-15 21:41:15 -04:00
parent 79b5af951b
commit 47f1bad862
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
editor/tests/solve_expr2.rs
View File

@ -86,6 +86,7 @@ fn infer_eq(actual: &str, expected_str: &str) {
&mut env,
&expr,
Expected::NoExpectation(Type2::Variable(var)),
Region::zero(),
);
let Env {
@ -129,3 +130,15 @@ fn constrain_str() {
"Str",
)
}
#[test]
fn constrain_empty_record() {
infer_eq(
indoc!(
r#"
{}
"#
),
"{}",
)
}