From ca9944fad2d2a32c38bf24c679328fcbb889e5fb Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 19 Oct 2024 23:43:52 -0700
Subject: [PATCH] Add tlaplus syntax (TLA+).  Closes #199.

---
 skylighting-core/xml/tlaplus.xml | 98 ++++++++++++++++++++++++++++++++
 skylighting/skylighting.cabal    |  1 +
 2 files changed, 99 insertions(+)
 create mode 100644 skylighting-core/xml/tlaplus.xml

diff --git a/skylighting-core/xml/tlaplus.xml b/skylighting-core/xml/tlaplus.xml
new file mode 100644
index 00000000..c28e16d3
--- /dev/null
+++ b/skylighting-core/xml/tlaplus.xml
@@ -0,0 +1,98 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE language>
+<!--
+    SPDX-FileCopyrightText: 2024 Younes IO <dev@younes.io>
+    SPDX-License-Identifier: MIT
+-->
+<language name="TLA+" version="1" kateversion="5.0" section="Sources" extensions="*.tla" mimetype="text/x-tlaplus" priority="5" author="Younes (dev@younes.io)">
+  <highlighting>
+    <list name="keywords">
+      <item>ASSUME</item>
+      <item>ASSUMPTION</item>
+      <item>AXIOM</item>
+      <item>CASE</item>
+      <item>CHOOSE</item>
+      <item>CONSTANT</item>
+      <item>CONSTANTS</item>
+      <item>DOMAIN</item>
+      <item>ELSE</item>
+      <item>ENABLED</item>
+      <item>EXCEPT</item>
+      <item>EXTENDS</item>
+      <item>IF</item>
+      <item>IN</item>
+      <item>INSTANCE</item>
+      <item>LET</item>
+      <item>LOCAL</item>
+      <item>MODULE</item>
+      <item>OTHER</item>
+      <item>SUBSET</item>
+      <item>THEN</item>
+      <item>THEOREM</item>
+      <item>UNCHANGED</item>
+      <item>UNION</item>
+      <item>VARIABLE</item>
+      <item>VARIABLES</item>
+      <item>WITH</item>
+    </list>
+    <list name="operators">
+      <item>/\</item>
+      <item>\/</item>
+      <item>~</item>
+      <item>=&gt;</item>
+      <item>&lt;=&gt;</item>
+      <item>\E</item>
+      <item>\A</item>
+      <item>\in</item>
+      <item>\notin</item>
+      <item>\subset</item>
+      <item>\subseteq</item>
+      <item>\supset</item>
+      <item>\supseteq</item>
+      <item>\union</item>
+      <item>\intersect</item>
+      <item>\setminus</item>
+    </list>
+    <contexts>
+      <context attribute="Normal Text" lineEndContext="#stay" name="Normal">
+        <keyword attribute="Keyword" context="#stay" String="keywords"/>
+        <keyword attribute="Operator" context="#stay" String="operators"/>
+        <Float attribute="Float" context="#stay"/>
+        <Int attribute="Decimal" context="#stay"/>
+        <DetectChar attribute="String" context="String" char="&quot;"/>
+        <Detect2Chars attribute="Comment" context="SingleLineComment" char="\" char1="*" beginRegion="Comment"/>
+        <Detect2Chars attribute="Comment" context="MultiLineComment" char="(" char1="*" beginRegion="Comment"/>
+      </context>
+      <context attribute="String" lineEndContext="#pop" name="String">
+        <DetectChar attribute="String" context="#pop" char="&quot;"/>
+      </context>
+      <context attribute="Comment" lineEndContext="#pop" name="SingleLineComment">
+        <DetectSpaces/>
+        <IncludeRules context="##Alerts"/>
+        <DetectIdentifier/>
+      </context>
+      <context attribute="Comment" lineEndContext="#stay" name="MultiLineComment">
+        <Detect2Chars attribute="Comment" context="#pop" char="*" char1=")" endRegion="Comment"/>
+        <DetectSpaces/>
+        <IncludeRules context="##Alerts"/>
+        <DetectIdentifier/>
+      </context>
+    </contexts>
+    <itemDatas>
+      <itemData name="Normal Text" defStyleNum="dsNormal"/>
+      <itemData name="Keyword" defStyleNum="dsKeyword"/>
+      <itemData name="Operator" defStyleNum="dsOperator"/>
+      <itemData name="Float" defStyleNum="dsFloat"/>
+      <itemData name="Decimal" defStyleNum="dsDecVal"/>
+      <itemData name="String" defStyleNum="dsString"/>
+      <itemData name="Comment" defStyleNum="dsComment"/>
+    </itemDatas>
+  </highlighting>
+  <general>
+    <comments>
+      <comment name="singleLine" start="\*"/>
+      <comment name="multiLine" start="(*" end="*)"/>
+    </comments>
+    <keywords casesensitive="1"/>
+  </general>
+</language>
diff --git a/skylighting/skylighting.cabal b/skylighting/skylighting.cabal
index 4f2901e8..b7f8b7fc 100644
--- a/skylighting/skylighting.cabal
+++ b/skylighting/skylighting.cabal
@@ -194,6 +194,7 @@ library
                        Skylighting.Syntax.Tcsh
                        Skylighting.Syntax.Terraform
                        Skylighting.Syntax.Texinfo
+                       Skylighting.Syntax.Tlaplus
                        Skylighting.Syntax.Toml
                        Skylighting.Syntax.Typescript
                        Skylighting.Syntax.Verilog