Fixed #201 the stop sign for multiline strings

dafny-lang · Jul 12, 2022 · c53b2de · c53b2de
1 parent dc0ada8
commit c53b2de
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
diff --git a/src/test/highlight/regression-highlight.dfy b/src/test/highlight/regression-highlight.dfy
@@ -1,3 +1,9 @@
+// Issue #201
+const x := @"
+This is an escaped double quote ""
+This should be in the multiline string too
+"
+
 // Issue #194
 method f(x: OtherModule.CustomType, z: int) {
           //^ module should be white, `CustomType` should be blue

diff --git a/syntaxes/Dafny.tmLanguage b/syntaxes/Dafny.tmLanguage
@@ -311,9 +311,9 @@
 					<key>begin</key>
 					<string>@"</string>
 					<key>end</key>
-					<string>"</string>
+					<string>"(?!")</string>
 					<key>name</key>
-					<string>string.dafny</string>
+					<string>string.multiline.dafny</string>
 					<key>patterns</key>
 					<array>
 						<dict>
@@ -328,7 +328,7 @@
 					<key>end</key>
 					<string>("|\n)</string>
 					<key>name</key>
-					<string>string.dafny</string>
+					<string>string.singleline.dafny</string>
 					<key>patterns</key>
 					<array>
 						<dict>