Added support for attributes on variable declarations.

1 files changed, 5 insertions, 2 deletions

diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg
index 2f5228d9..c7eaa427 100644
--- a/Source/Dafny/Dafny.atg
+++ b/Source/Dafny/Dafny.atg
@@ -1090,13 +1090,16 @@ VarDeclStatement<.out Statement/*!*/ s.>
      List<AssignmentRhs> rhss = new List<AssignmentRhs>();

      IToken suchThatAssume = null;

      Expression suchThat = null;

+     Attributes attrs = null;

   .)

   [ "ghost"                                 (. isGhost = true;  x = t; .)

   ]

   "var"                                     (. if (!isGhost) { x = t; } .)

-  LocalIdentTypeOptional<out d, isGhost>    (. lhss.Add(d); .)

+  { Attribute<ref attrs> }

+  LocalIdentTypeOptional<out d, isGhost>    (. lhss.Add(d); d.Attributes = attrs; attrs = null; .)

   { ","

-    LocalIdentTypeOptional<out d, isGhost>  (. lhss.Add(d); .)

+    { Attribute<ref attrs> }

+    LocalIdentTypeOptional<out d, isGhost>  (. lhss.Add(d); d.Attributes = attrs; attrs = null; .)

   }

   [ ":="                           (. assignTok = t;

                                       lhs0 = new IdentifierExpr(lhss[0].Tok, lhss[0].Name);