From 82edb1b179916ee61655ab7e425a17ab5145fac8 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Mon, 20 Oct 2014 17:08:46 -0700
Subject: Added types "char" and "string" (the latter being a synonym for
 "seq<char>"). Added string literals with various escapes--a subset of those
 supported in C# and similar languages, including the C# verbatim strings.
 Previously, the "print" statement and custom attributes could support
 expression-or-string arguments; there is no longer a need to special-case
 these, so these arguments are now just expressions. Fixed lack of operator
 resolution in custom attributes.

---
 Source/DafnyExtension/TokenTagger.cs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/TokenTagger.cs b/Source/DafnyExtension/TokenTagger.cs
index f54d5184..f3c6fc4e 100644
--- a/Source/DafnyExtension/TokenTagger.cs
+++ b/Source/DafnyExtension/TokenTagger.cs
@@ -283,8 +283,9 @@ namespace DafnyLanguage
                 case "break":
                 case "calc":
                 case "case":
+                case "char":
                 case "class":
-        	    case "trait":
+                case "trait":
                 case "extends":
                 case "codatatype":
                 case "colemma":
@@ -336,6 +337,7 @@ namespace DafnyLanguage
                 case "seq":
                 case "set":
                 case "static":
+                case "string":
                 case "then":
                 case "this":
                 case "true":
-- 
cgit v1.2.3