syntax: update

aya-prover · May 31, 2024 · ee5f54f · ee5f54f
1 parent 5647d03
commit ee5f54f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/grammars/Aya-embedded.tmLanguage b/grammars/Aya-embedded.tmLanguage
@@ -44,7 +44,7 @@
 				</dict>
 			</dict>
 			<key>match</key>
-			<string>(data|open[[:space:]]+data|class|extends|new)[[:space:]]+([^:,;\\\(\){}@"[:space:]]+)</string>
+			<string>(inductive|open[[:space:]]+inductive|class|extends|new)[[:space:]]+([^:,;\\\(\){}@"[:space:]]+)</string>
 		</dict>
 		<dict>
 			<key>captures</key>
@@ -61,7 +61,7 @@
 				</dict>
 			</dict>
 			<key>match</key>
-			<string>(open[[:space:]]+import|open(?![[:space:]]data)|module|import)[[:space:]]+([^:,;\\\(\){}@"[:space:]]+)</string>
+			<string>(open[[:space:]]+import|open(?![[:space:]]inductive)|module|import)[[:space:]]+([^:,;\\\(\){}@"[:space:]]+)</string>
 		</dict>
 		<dict>
 			<key>captures</key>

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|open|private|using|as|coerce|data|Sig|public|fn|elim|Fn|looser|example|class|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|inductive|Sig|public|fn|elim|Fn|looser|example|class|hiding|match)\b</string>
 			<key>name</key>
 			<string>keyword.other.aya</string>
 		</dict>