From 0c23ed8163bf437629cb4ef1649bcdf112eba93d Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Wed, 9 Nov 2011 10:27:00 -0800
Subject: Dafny: allow single-quote as a character in identifiers in the VS2010
 mode

---
 Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Util')

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
           ;
-- 
cgit v1.2.3