diff --git a/syntaxes/Dafny.tmLanguage b/syntaxes/Dafny.tmLanguage index 9980a951..30570749 100644 --- a/syntaxes/Dafny.tmLanguage +++ b/syntaxes/Dafny.tmLanguage @@ -262,6 +262,49 @@ patterns + + begin + @([\w'\?]+)\( + beginCaptures + + 1 + + name + entity.other.attribute-name.dafny + + + end + \) + name + attribute + patterns + + + include + #code + + + + + + begin + @([\w'\?]+)(?!\() + beginCaptures + + 1 + + name + entity.other.attribute-name.dafny + + + end + (?<=[\w'\?]+) + name + attribute + patterns + + + begin \{:(\w+)