From 516f8a5ab59dd2bf7c813b09824a7e2cda004538 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Sat, 24 Oct 2015 18:38:16 -0700
Subject: In Visual Studio, be willing to display both resolution warnings and
 verification errors (previously, verification errors were masked by
 resolution warnings)

---
 Source/DafnyExtension/ResolverTagger.cs | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/ResolverTagger.cs b/Source/DafnyExtension/ResolverTagger.cs
index b348e7d6..58a46196 100644
--- a/Source/DafnyExtension/ResolverTagger.cs
+++ b/Source/DafnyExtension/ResolverTagger.cs
@@ -199,13 +199,19 @@ namespace DafnyLanguage
       {
         lock (this)
         {
-          if (_resolutionErrors != null && _resolutionErrors.Any())
-          {
-            return _resolutionErrors;
+          bool anyResolutionErrors = false;
+          if (_resolutionErrors != null) {
+            foreach (var err in _resolutionErrors) {
+              if (CategoryConversion(err.Category) == TaskErrorCategory.Error) {
+                anyResolutionErrors = true;
+              }
+              yield return err;
+            }
           }
-          else
-          {
-            return VerificationErrors;
+          if (!anyResolutionErrors) {
+            foreach (var err in VerificationErrors) {
+              yield return err;
+            }
           }
         }
       }
-- 
cgit v1.2.3