ychenfo
/
nac3
forked from M-Labs/nac3
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

update tests

This commit is contained in:
Sebastien Bourdeauducq 2022-02-23 11:39:47 +08:00
parent 17792b76b7
commit 75fde1bbf7
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
nac3core/src/typecheck/typedef/test.rs
View File

@ -302,7 +302,7 @@ fn test_unify(
("v1", "Record[a=float,b=int]"), ("v1", "Record[a=float,b=int]"),
("v2", "Foo[v3]"), ("v2", "Foo[v3]"),
], ],
(("v1", "v2"), "`3[var4]::b` field does not exist") (("v1", "v2"), "`3[1]::b` field/method does not exist")
; "record obj merge" ; "record obj merge"
)] )]
/// Test cases for invalid unifications. /// Test cases for invalid unifications.
@ -390,12 +390,12 @@ fn test_virtual() {
let d = env let d = env
.unifier .unifier
.add_record([("a".into(), RecordField::new(v1, true, None))].iter().cloned().collect()); .add_record([("a".into(), RecordField::new(v1, true, None))].iter().cloned().collect());
assert_eq!(env.unify(b, d), Err("`virtual[5]::a` field does not exist".to_string())); assert_eq!(env.unify(b, d), Err("`virtual[5]::a` field/method does not exist".to_string()));
let d = env let d = env
.unifier .unifier
.add_record([("b".into(), RecordField::new(v1, true, None))].iter().cloned().collect()); .add_record([("b".into(), RecordField::new(v1, true, None))].iter().cloned().collect());
assert_eq!(env.unify(b, d), Err("`virtual[5]::b` field does not exist".to_string())); assert_eq!(env.unify(b, d), Err("`virtual[5]::b` field/method does not exist".to_string()));
} }
#[test] #[test]