Highlight admit/assume.

Fixes #48.
FStarLang · Oct 15, 2024 · 40b9b11 · 40b9b11
1 parent 3416c17
commit 40b9b11
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/syntaxes/fstar.tmLanguage.json b/syntaxes/fstar.tmLanguage.json
@@ -41,6 +41,14 @@
 				}
 			]
 		},
+		"escapehatch": {
+			"patterns": [
+				{
+					"name": "invalid.illegal.fstar",
+					"match": "\\b(admit|assume|magic|unsafe_coerce|assume_)\\b"
+				}
+			]
+		},
 		"commentblock": {
 			"patterns": [
 				{
@@ -106,6 +114,9 @@
 				{
 					"include": "#characters"
 				},
+				{
+					"include": "#escapehatch"
+				},
 				{
 					"include": "#dsl"
 				},