Dafny: allow single-quote as a character in identifiers in the VS2010 mode

1 files changed, 2 insertions, 2 deletions

diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs
index 6f9ec810..557beb32 100644
--- a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs
+++ b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs
@@ -12,7 +12,8 @@ namespace Demo
         #region 1. Terminals

         NumberLiteral n = TerminalFactory.CreateCSharpNumber("number");

 

-        IdentifierTerminal ident = new IdentifierTerminal("Identifier");

+        IdentifierTerminal ident = new IdentifierTerminal("Identifier", "'_?", "'_?");

+

         StringLiteral stringLiteral = TerminalFactory.CreateCSharpString("String");

 

         this.MarkReservedWords(  // NOTE: these keywords must also appear once more below

@@ -351,7 +352,6 @@ namespace Demo
           | "==>"

           | "<==>"

           | "#"

-          | "?" // this is not an operator, but a possible character in identifiers

           | n

           | stringLiteral

           ;