From 5acce20ecd11501ab1c04d042c2e2a9536e42785 Mon Sep 17 00:00:00 2001
From: ice1000 <ice1000kotlin@foxmail.com>
Date: Wed, 29 May 2024 19:39:31 -0400
Subject: [PATCH] syntax: update

---
 .github/workflows/vsix.yml | 4 ++--
 grammars/Aya.tmLanguage    | 4 ++--
 package.json               | 1 +
 3 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/vsix.yml b/.github/workflows/vsix.yml
index 0be1628..a53c6e6 100644
--- a/.github/workflows/vsix.yml
+++ b/.github/workflows/vsix.yml
@@ -29,9 +29,9 @@ jobs:
         node-version: [15.x]
 
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v4
     - name: Use Node.js ${{ matrix.node-version }}
-      uses: actions/setup-node@v2
+      uses: actions/setup-node@v4
       with:
         node-version: ${{ matrix.node-version }}
     - run: npm install -g yarn
diff --git a/grammars/Aya.tmLanguage b/grammars/Aya.tmLanguage
index 2348fa6..a6c3560 100644
--- a/grammars/Aya.tmLanguage
+++ b/grammars/Aya.tmLanguage
@@ -31,7 +31,7 @@
 		</dict>
 		<dict>
 			<key>match</key>
-			<string>\b(extends|prim|new|module|forall|tighter|import|variable|infix|overlap|inline|Type|Set|Prop|ISet|infixr|infixl|fixl|fixr|def|counterexample|open|private|using|as|coerce|data|Sig|public|Pi|looser|example|struct|hiding|match)\b</string>
+			<string>\b(extends|prim|new|module|forall|tighter|import|variable|infix|overlap|inline|Type|Set|Prop|ISet|infixr|infixl|fixl|fixr|def|open|private|using|as|coerce|data|Sig|public|fn|elim|Fn|looser|example|class|hiding|match)\b</string>
 			<key>name</key>
 			<string>keyword.other.aya</string>
 		</dict>
@@ -43,7 +43,7 @@
 		</dict>
 		<dict>
 			<key>match</key>
-			<string>,|\\|↑|Σ|λ|Π|∀|→|←|⇒|⦇|⦈|⦃|⦄|⟦|⟧</string>
+			<string>,|\\|↑|Σ|∀|→|←|⇒|⦇|⦈</string>
 			<key>name</key>
 			<string>keyword.other.aya</string>
 		</dict>
diff --git a/package.json b/package.json
index 309352f..364d96e 100644
--- a/package.json
+++ b/package.json
@@ -20,6 +20,7 @@
     ],
     "main": "./out/extension.js",
     "activationEvents": [
+        "onLanguage:aya",
         "workspaceContains:aya.json"
     ],
     "contributes": {