diff --git a/grammars/Aya-embedded.tmLanguage b/grammars/Aya-embedded.tmLanguage index 674b08c..a9fdfd8 100644 --- a/grammars/Aya-embedded.tmLanguage +++ b/grammars/Aya-embedded.tmLanguage @@ -44,7 +44,7 @@ match - (data|open[[:space:]]+data|class|extends|new)[[:space:]]+([^:,;\\\(\){}@"[:space:]]+) + (inductive|open[[:space:]]+inductive|class|extends|new)[[:space:]]+([^:,;\\\(\){}@"[:space:]]+) captures @@ -61,7 +61,7 @@ match - (open[[:space:]]+import|open(?![[:space:]]data)|module|import)[[:space:]]+([^:,;\\\(\){}@"[:space:]]+) + (open[[:space:]]+import|open(?![[:space:]]inductive)|module|import)[[:space:]]+([^:,;\\\(\){}@"[:space:]]+) captures diff --git a/grammars/Aya.tmLanguage b/grammars/Aya.tmLanguage index a6c3560..dc31869 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|open|private|using|as|coerce|data|Sig|public|fn|elim|Fn|looser|example|class|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|inductive|Sig|public|fn|elim|Fn|looser|example|class|hiding|match)\b name keyword.other.aya