diff options
| author |  leino <unknown> | 2014-08-21 21:03:52 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-08-21 21:03:52 -0700 |
| commit | 900c42823f0661107543716a247bec22f01cd9cc (patch) | |
| tree | 13fdda07d14827c2bad6fd71d4180cf1d0084d56 /Source/DafnyExtension | |
| parent | 81669a1d8bb2e36d86464708bb234e7920776ae6 (diff) | |
Changed syntax of derived types to "newtype"
Added parsing of constraints (beyond parsing is yet to come)
Diffstat (limited to 'Source/DafnyExtension')
| -rw-r--r-- | Source/DafnyExtension/TokenTagger.cs | 2 |
1 files changed, 2 insertions, 0 deletions
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":
|