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 @@
match
- \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
+ \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
name
keyword.other.aya
@@ -43,7 +43,7 @@
match
- ,|\\|↑|Σ|λ|Π|∀|→|←|⇒|⦇|⦈|⦃|⦄|⟦|⟧
+ ,|\\|↑|Σ|∀|→|←|⇒|⦇|⦈
name
keyword.other.aya
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": {