From cf01d66976ffd99f423b93949d0f80bba03fe5d7 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Tue, 26 Aug 2014 11:27:39 -0700
Subject: Various resolution fixes and improvements Added IsGoodHeap antecedent
 in (exists heap ...) in newtype Is axioms. Added IDE tool tips in newtype
 constraints.

---
 Source/DafnyExtension/IdentifierTagger.cs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/IdentifierTagger.cs b/Source/DafnyExtension/IdentifierTagger.cs
index beab8303..3bb8f01c 100644
--- a/Source/DafnyExtension/IdentifierTagger.cs
+++ b/Source/DafnyExtension/IdentifierTagger.cs
@@ -213,6 +213,12 @@ namespace DafnyLanguage
                 IdRegion.Add(newRegions, fld.tok, fld, null, "field", true, module);
               }
             }
+          } else if (d is NewtypeDecl) {
+            var dd = (NewtypeDecl)d;
+            if (dd.Var != null) {
+              IdRegion.Add(newRegions, dd.Var.tok, dd.Var, true, module);
+              ExprRegions(dd.Constraint, newRegions, module);
+            }
           }
         }
       }
-- 
cgit v1.2.3