CustomModule.Type does not highlight CustomModule as a type anymore. (#…

…199)
dafny-lang · Jul 12, 2022 · bea5906 · bea5906
1 parent c5f52ad
commit bea5906
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/src/test/highlight/regression-highlight.dfy b/src/test/highlight/regression-highlight.dfy
@@ -1,3 +1,10 @@
+// Issue #194
+method f(x: OtherModule.CustomType, z: int) {
+          //^ module should be white, `CustomType` should be blue
+  var y := OtherModule.methodName();
+}
+
+
 // Issue #176
 class ClassList {
   ghost var classes: set<string>

diff --git a/syntaxes/Dafny.tmLanguage b/syntaxes/Dafny.tmLanguage
@@ -487,7 +487,7 @@
 				</dict>
 				<dict>
 					<key>begin</key>
-					<string>(?<!\{|:):\s*([\w'?]+\b(?!&lt;))</string>
+					<string>(?<!\{|:):\s*(?:[\w'?]+\.)*([\w'?]+\b(?!&lt;))</string>
 					<key>beginCaptures</key>
 					<dict>
 						<key>1</key>