aboutsummaryrefslogtreecommitdiff
path: root/lux-mode
diff options
context:
space:
mode:
authorEduardo Julian2022-10-24 19:28:57 -0400
committerEduardo Julian2022-10-24 19:28:57 -0400
commit8d4c256f8b56561869c14df02db695d774c74fa6 (patch)
tree3acdc7e92008bbe8a74e84610ea4daebd292678a /lux-mode
parent45c599e49ae2659331d13222948f7e755967fdf9 (diff)
Minor naming & syntax improvements.
Diffstat (limited to 'lux-mode')
-rw-r--r--lux-mode/lux-mode.el5
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))