diff options
| author |  Rustan Leino <leino@microsoft.com> | 2013-05-12 21:32:22 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2013-05-12 21:32:22 -0700 |
| commit | 7f7248c1ba57baf1c3d71f8bdc3a0c4bdb38c23b (patch) | |
| tree | 1e04357c9add4379fc40f0763427b49767265f68 /Source/DafnyExtension/IdentifierTagger.cs | |
| parent | e5ab3ec7a78f288f966a2a7767052ef5eff56276 (diff) | |
In Visual Studio interface, highlight variable definitions of let expressions
Diffstat (limited to 'Source/DafnyExtension/IdentifierTagger.cs')
| -rw-r--r-- | Source/DafnyExtension/IdentifierTagger.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/DafnyExtension/IdentifierTagger.cs b/Source/DafnyExtension/IdentifierTagger.cs index 6a612cbd..a4cd3547 100644 --- a/Source/DafnyExtension/IdentifierTagger.cs +++ b/Source/DafnyExtension/IdentifierTagger.cs @@ -234,6 +234,11 @@ namespace DafnyLanguage } else if (expr is FieldSelectExpr) {
var e = (FieldSelectExpr)expr;
IdRegion.Add(regions, e.tok, e.Field, e.Type, "field", false, module);
+ } else if (expr is LetExpr) {
+ var e = (LetExpr)expr;
+ foreach (var bv in e.Vars) {
+ IdRegion.Add(regions, bv.tok, bv, true, module);
+ }
} else if (expr is ComprehensionExpr) {
var e = (ComprehensionExpr)expr;
foreach (var bv in e.BoundVars) {
|