aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/type/auto.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/type/auto.lux')
-rw-r--r--stdlib/source/lux/type/auto.lux7
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/source/lux/type/auto.lux b/stdlib/source/lux/type/auto.lux
index cd6093f97..8fd88da82 100644
--- a/stdlib/source/lux/type/auto.lux
+++ b/stdlib/source/lux/type/auto.lux
@@ -1,7 +1,8 @@
(;module:
lux
(lux (control monad
- [eq])
+ [eq]
+ ["p" parser])
(data [text "Text/" Eq<Text>]
text/format
[number]
@@ -305,8 +306,8 @@
(` ((~ (code;symbol constructor)) (~@ (List/map instance$ dependencies))))))
(syntax: #export (::: [member s;symbol]
- [args (s;alt (s;seq (s;some s;symbol) s;end!)
- (s;seq (s;some s;any) s;end!))])
+ [args (p;alt (p;seq (p;some s;symbol) s;end!)
+ (p;seq (p;some s;any) s;end!))])
{#;doc (doc "Automatic structure selection (for type-class style polymorphism)."
"This feature layers type-class style polymorphism on top of Lux's signatures and structures."
"When calling a polymorphic function, or using a polymorphic constant,"