aboutsummaryrefslogtreecommitdiff
path: root/lux-mode/lux-mode.el
diff options
context:
space:
mode:
authorEduardo Julian2022-08-25 21:31:54 -0400
committerEduardo Julian2022-08-25 21:31:54 -0400
commit3f010de748ffccf304c4be09863f77d4020d610d (patch)
tree0254c5f2909b3e5f76bf14faf86a03a1ecf05f81 /lux-mode/lux-mode.el
parent156fac89df89669ee660bd075f516dd8d57abd19 (diff)
Added support for type-based polymorphism.
Diffstat (limited to 'lux-mode/lux-mode.el')
-rw-r--r--lux-mode/lux-mode.el5
1 files changed, 4 insertions, 1 deletions
diff --git a/lux-mode/lux-mode.el b/lux-mode/lux-mode.el
index a94b2f166..d9ab66394 100644
--- a/lux-mode/lux-mode.el
+++ b/lux-mode/lux-mode.el
@@ -365,6 +365,7 @@ Called by `imenu--generic-function'."
(control//pattern-matching (altRE "open"))
(control//logic (altRE "and" "or"))
(control//contract (altRE "pre" "post"))
+ (control//polymorphism (altRE "method"))
;; Type
(type//syntax (altRE "Union" "Or" "Variant"
"Tuple" "And" "Record"
@@ -403,7 +404,8 @@ Called by `imenu--generic-function'."
(let ((control (altRE control//flow
control//pattern-matching
control//logic
- control//contract))
+ control//contract
+ control//polymorphism))
(type (altRE type//syntax
type//checking
type//primitive
@@ -589,6 +591,7 @@ This function also returns nil meaning don't specify the indentation."
("inlined" 'defun)
("context" 'defun)
("primitive" 'defun)
+ ("method" 'defun)
("analysis" 'defun)
("synthesis" 'defun)