From 4fa978ca0baf5729781b94bcf7e72f523f7561ca Mon Sep 17 00:00:00 2001 From: Shaz Qadeer Date: Sun, 1 Dec 2024 18:53:45 -0800 Subject: [PATCH] second commit --- Source/Core/AST/AbsyType.cs | 4 ++-- Test/test0/Types1.bpl.expect | 6 +++--- Test/test20/Prog0.bpl.expect | 4 ++-- Test/test20/TypeDecls0.bpl.expect | 4 ++-- 4 files changed, 9 insertions(+), 9 deletions(-) diff --git a/Source/Core/AST/AbsyType.cs b/Source/Core/AST/AbsyType.cs index 6a03131c7..9ae47b10a 100644 --- a/Source/Core/AST/AbsyType.cs +++ b/Source/Core/AST/AbsyType.cs @@ -1678,8 +1678,8 @@ public override Type ResolveType(ResolutionContext rc) } // otherwise: this name is not declared anywhere - rc.Error(this, "undeclared type: {0}", Name); - return Type.Bool; // resolve to "bool" type so that type resolution can continue safely + rc.Error(this, "undeclared type: {0} (replacing with \"bool\" to continue resolving)", Name); + return Type.Bool; } private List ResolveArguments(ResolutionContext rc) diff --git a/Test/test0/Types1.bpl.expect b/Test/test0/Types1.bpl.expect index 6c9f6784b..6a63b059e 100644 --- a/Test/test0/Types1.bpl.expect +++ b/Test/test0/Types1.bpl.expect @@ -1,4 +1,4 @@ -Types1.bpl(8,11): Error: undeclared type: x -Types1.bpl(9,11): Error: undeclared type: x -Types1.bpl(9,14): Error: undeclared type: x +Types1.bpl(8,11): Error: undeclared type: x (replacing with "bool" to continue resolving) +Types1.bpl(9,11): Error: undeclared type: x (replacing with "bool" to continue resolving) +Types1.bpl(9,14): Error: undeclared type: x (replacing with "bool" to continue resolving) 3 name resolution errors detected in Types1.bpl diff --git a/Test/test20/Prog0.bpl.expect b/Test/test20/Prog0.bpl.expect index c3454422e..540f1b08d 100644 --- a/Test/test20/Prog0.bpl.expect +++ b/Test/test20/Prog0.bpl.expect @@ -1,5 +1,5 @@ Prog0.bpl(19,10): Error: type variable must occur in map arguments: a Prog0.bpl(31,27): Error: more than one declaration of type variable: beta -Prog0.bpl(34,22): Error: undeclared type: alpha -Prog0.bpl(35,35): Error: undeclared type: alpha +Prog0.bpl(34,22): Error: undeclared type: alpha (replacing with "bool" to continue resolving) +Prog0.bpl(35,35): Error: undeclared type: alpha (replacing with "bool" to continue resolving) 4 name resolution errors detected in Prog0.bpl diff --git a/Test/test20/TypeDecls0.bpl.expect b/Test/test20/TypeDecls0.bpl.expect index 78f3ce5c7..2545d6cf7 100644 --- a/Test/test20/TypeDecls0.bpl.expect +++ b/Test/test20/TypeDecls0.bpl.expect @@ -3,8 +3,8 @@ TypeDecls0.bpl(15,12): Error: more than one declaration of type variable: a TypeDecls0.bpl(16,18): Error: more than one declaration of type variable: a TypeDecls0.bpl(20,17): Error: type variable must occur in map arguments: b TypeDecls0.bpl(24,9): Error: type constructor received wrong number of arguments: C -TypeDecls0.bpl(26,9): Error: undeclared type: A0 -TypeDecls0.bpl(27,9): Error: undeclared type: F +TypeDecls0.bpl(26,9): Error: undeclared type: A0 (replacing with "bool" to continue resolving) +TypeDecls0.bpl(27,9): Error: undeclared type: F (replacing with "bool" to continue resolving) TypeDecls0.bpl(30,9): Error: type constructor received wrong number of arguments: E TypeDecls0.bpl(32,9): Error: type constructor received wrong number of arguments: E TypeDecls0.bpl(34,9): Error: type constructor received wrong number of arguments: E