aya: address keyword change

aya-prover · May 31, 2024 · 4ef1646 · 4ef1646
1 parent 052af25
commit 4ef1646
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 8 deletions.
diff --git a/src/main/grammar/AyaPsiParser.bnf b/src/main/grammar/AyaPsiParser.bnf
@@ -68,20 +68,20 @@
     KW_VARIABLE = 'variable'
     KW_DEF = 'def'
     KW_CLASS = 'class'
-    KW_CLASSIFIYING = 'classifying'
-    KW_DATA = 'data'
+    KW_DATA = 'inductive'
     KW_PRIM = 'prim'
     KW_EXTENDS = 'extends'
     KW_NEW = 'new'
     KW_DO = 'do'
-    KW_SELF = 'self'
-    KW_OVERRIDE = 'override'
     KW_ELIM = 'elim'
-
-    // Unimplemented but reserved
-    KW_CODATA = 'codata'
     KW_LET = 'let'
     KW_IN = 'in'
+
+    // Unimplemented but reserved
+    KW_CLASSIFIYING = 'classifying'
+    KW_SELF = 'self'
+    KW_OVERRIDE = 'override'
+    KW_CODATA = 'coinductive'
     KW_COMPLETED = 'completed'
 
     // symbols

diff --git a/src/main/java/org/aya/intellij/ui/AyaIcons.java b/src/main/java/org/aya/intellij/ui/AyaIcons.java
@@ -11,7 +11,7 @@ public interface AyaIcons {
   @NotNull Icon AYA_FN = IconLoader.getIcon("/icons/fn.svg", AyaIcons.class);
   @NotNull Icon AYA_PRIM = IconLoader.getIcon("/icons/prim.svg", AyaIcons.class);
   @NotNull Icon AYA_DATA = IconLoader.getIcon("/icons/data.svg", AyaIcons.class);
-  @NotNull Icon AYA_CTOR = IconLoader.getIcon("/icons/dataCtor.svg", AyaIcons.class);
+  @NotNull Icon AYA_CTOR = IconLoader.getIcon("/icons/dataCon.svg", AyaIcons.class);
   @NotNull Icon AYA_STRUCT = IconLoader.getIcon("/icons/struct.svg", AyaIcons.class);
   @NotNull Icon AYA_FIELD = IconLoader.getIcon("/icons/structField.svg", AyaIcons.class);
   @NotNull Icon GOAL = IconLoader.getIcon("/icons/goal.svg", AyaIcons.class);

diff --git a/src/main/resources/icons/dataCtor.svg → src/main/resources/icons/dataCon.svg b/src/main/resources/icons/dataCtor.svg → src/main/resources/icons/dataCon.svg