syntax: update

aya-prover · May 29, 2024 · 5acce20 · 5acce20
1 parent b585bf0
commit 5acce20
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git 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
@@ -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
@@ -20,6 +20,7 @@
     ],
     "main": "./out/extension.js",
     "activationEvents": [
+        "onLanguage:aya",
         "workspaceContains:aya.json"
     ],
     "contributes": {