From 900c42823f0661107543716a247bec22f01cd9cc Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Thu, 21 Aug 2014 21:03:52 -0700
Subject: Changed syntax of derived types to "newtype" Added parsing of
 constraints (beyond parsing is yet to come)

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

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/TokenTagger.cs b/Source/DafnyExtension/TokenTagger.cs
index 438d9be6..f54d5184 100644
--- a/Source/DafnyExtension/TokenTagger.cs
+++ b/Source/DafnyExtension/TokenTagger.cs
@@ -320,6 +320,7 @@ namespace DafnyLanguage
                 case "multiset":
                 case "nat":
                 case "new":
+                case "newtype":
                 case "null":
                 case "object":
                 case "old":
@@ -340,6 +341,7 @@ namespace DafnyLanguage
                 case "true":
                 case "type":
                 case "var":
+                case "where":
                 case "while":
                 case "yield":
                 case "yields":
-- 
cgit v1.2.3