diff options
| author | Eduardo Julian | 2022-10-24 19:28:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-10-24 19:28:57 -0400 |
| commit | 8d4c256f8b56561869c14df02db695d774c74fa6 (patch) | |
| tree | 3acdc7e92008bbe8a74e84610ea4daebd292678a /lux-mode | |
| parent | 45c599e49ae2659331d13222948f7e755967fdf9 (diff) | |
Minor naming & syntax improvements.
Diffstat (limited to 'lux-mode')
| -rw-r--r-- | lux-mode/lux-mode.el | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/lux-mode/lux-mode.el b/lux-mode/lux-mode.el index d9ab66394..e01bf3121 100644 --- a/lux-mode/lux-mode.el +++ b/lux-mode/lux-mode.el @@ -375,7 +375,6 @@ Called by `imenu--generic-function'." "Interface" "type_literal")) (type//checking (altRE "is" "as" "let" "as_expected" "type_of" "sharing" "by_example" "hole")) - (type//primitive (altRE "primitive" "abstraction" "representation" "transmutation")) (type//poly (altRE "polytypic")) (type//dynamic (altRE "dynamic" "static")) (type//capability (altRE "capability")) @@ -399,8 +398,7 @@ Called by `imenu--generic-function'." (remember (altRE "remember" "to_do" "fix_me")) (extension (altRE "analysis" "synthesis" "generation" "declaration")) (definition (altRE "\\.require" - "def" "inlined" "type" - "vocabulary"))) + "def" "inlined" "type"))) (let ((control (altRE control//flow control//pattern-matching control//logic @@ -408,7 +406,6 @@ Called by `imenu--generic-function'." control//polymorphism)) (type (altRE type//syntax type//checking - type//primitive type//poly type//dynamic type//capability)) |