From 40b9b11c3118c71dba898380c2136ef48862dc12 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Mon, 14 Oct 2024 17:49:07 -0700
Subject: [PATCH] Highlight admit/assume.

Fixes #48.
---
 syntaxes/fstar.tmLanguage.json | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/syntaxes/fstar.tmLanguage.json b/syntaxes/fstar.tmLanguage.json
index 2cf94f2..6410e7f 100644
--- 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"
 				},