From 75fde1bbf7d733c5a4616f24f7a7b99586dc6a11 Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Wed, 23 Feb 2022 11:39:47 +0800 Subject: [PATCH] update tests --- nac3core/src/typecheck/typedef/test.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/nac3core/src/typecheck/typedef/test.rs b/nac3core/src/typecheck/typedef/test.rs index eddf4456..e70c21d8 100644 --- a/nac3core/src/typecheck/typedef/test.rs +++ b/nac3core/src/typecheck/typedef/test.rs @@ -302,7 +302,7 @@ fn test_unify( ("v1", "Record[a=float,b=int]"), ("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" )] /// Test cases for invalid unifications. @@ -390,12 +390,12 @@ fn test_virtual() { let d = env .unifier .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 .unifier .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]