diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-09-25 15:06:54 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-09-25 15:06:54 -0700 |
| commit | 8f024b5cf0cf19bc75a4526d957770b6fcf8749a (patch) | |
| tree | 7b0f4ae203b91f672c6d65a63834d21f64cdeb7d /Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | |
| parent | dfb68a3a93efc689ead14bbb69664f28f8c5e59e (diff) | |
Dafny: added iterators; for now, only parsing and resolving (and printing and refining), no compilation or verification
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs')
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs index 5853f180..22388704 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs @@ -253,6 +253,7 @@ namespace DafnyLanguage case "in":
case "int":
case "invariant":
+ case "iterator":
case "label":
case "match":
case "method":
@@ -282,6 +283,8 @@ namespace DafnyLanguage case "type":
case "var":
case "while":
+ case "yield":
+ case "yields":
#endregion
break;
default:
|