diff options
Diffstat (limited to 'stdlib/source/library/lux/control/function')
5 files changed, 24 insertions, 24 deletions
diff --git a/stdlib/source/library/lux/control/function/named.lux b/stdlib/source/library/lux/control/function/named.lux index eeade0ed5..39e0fba22 100644 --- a/stdlib/source/library/lux/control/function/named.lux +++ b/stdlib/source/library/lux/control/function/named.lux @@ -40,10 +40,10 @@ (.def .public def (syntax (_ [[exported? [name parameters] type body] - (export.parser (all ?.and - (?code.form (?.and ?code.local (?.some ?code.local))) - ?code.any - ?code.any))]) + (export.with (all ?.and + (?code.form (?.and ?code.local (?.some ?code.local))) + ?code.any + ?code.any))]) (do meta.monad [here meta.current_module_name] (if (n.= (list.size parameters) diff --git a/stdlib/source/library/lux/control/function/polymorphism/context.lux b/stdlib/source/library/lux/control/function/polymorphism/context.lux index 904cc100c..be28c494e 100644 --- a/stdlib/source/library/lux/control/function/polymorphism/context.lux +++ b/stdlib/source/library/lux/control/function/polymorphism/context.lux @@ -41,7 +41,7 @@ <representation> (.def .public layer - (syntax (_ [[export_policy name] (export.parser ?code.local)]) + (syntax (_ [[export_policy name] (export.with ?code.local)]) (do meta.monad [@ meta.current_module_name] (in (list (` (.def (, export_policy) (, (code.local name)) @@ -118,7 +118,7 @@ (` ((,' .,') (, it)))) (.def .public def - (syntax (_ [[export_policy signature] (export.parser ..signature) + (syntax (_ [[export_policy signature] (export.with ..signature) quantifications (?code.tuple (?.some ?code.any)) context ?code.any inputs (?code.tuple (?.many ?code.any)) diff --git a/stdlib/source/library/lux/control/function/polymorphism/predicate.lux b/stdlib/source/library/lux/control/function/polymorphism/predicate.lux index 78a238fa4..3a145e7eb 100644 --- a/stdlib/source/library/lux/control/function/polymorphism/predicate.lux +++ b/stdlib/source/library/lux/control/function/polymorphism/predicate.lux @@ -58,14 +58,14 @@ (.def .public def (syntax (_ [[export_policy signature quantifications inputs output default methods] - (export.parser - (all ?.and - ..signature - (?code.tuple (?.some ?code.any)) - (?code.tuple (?.many ?code.any)) - ?code.any - ?code.any - (?.some ?code.any)))]) + (export.with + (all ?.and + ..signature + (?code.tuple (?.some ?code.any)) + (?code.tuple (?.many ?code.any)) + ?code.any + ?code.any + (?.some ?code.any)))]) (<| (with_symbols [g!self g!_ g!scenarios g!scenario g!mixin]) (..declaration [#function (the #name signature) #quantifications quantifications diff --git a/stdlib/source/library/lux/control/function/polymorphism/type.lux b/stdlib/source/library/lux/control/function/polymorphism/type.lux index 6dbd0ef42..5aec52b70 100644 --- a/stdlib/source/library/lux/control/function/polymorphism/type.lux +++ b/stdlib/source/library/lux/control/function/polymorphism/type.lux @@ -34,12 +34,12 @@ (.def .public def (syntax (_ [[export_policy name parameters type methods] - (export.parser - (all ?.and - ?code.local - (?code.tuple (?.many ?code.local)) - ?code.any - (?.many ?code.any)))]) + (export.with + (all ?.and + ?code.local + (?code.tuple (?.many ?code.local)) + ?code.any + (?.many ?code.any)))]) (<| (do meta.monad [@ meta.current_module_name g!interface (macro.symbol name) diff --git a/stdlib/source/library/lux/control/function/variadic.lux b/stdlib/source/library/lux/control/function/variadic.lux index 5b53bbe83..e914dde9e 100644 --- a/stdlib/source/library/lux/control/function/variadic.lux +++ b/stdlib/source/library/lux/control/function/variadic.lux @@ -36,10 +36,10 @@ (.def .public def (syntax (_ [[exported? [name parameters] type body] - (export.parser (all ?.and - (?code.form (?.and ?code.local (?.some ?code.local))) - ?code.any - ?code.any))]) + (export.with (all ?.and + (?code.form (?.and ?code.local (?.some ?code.local))) + ?code.any + ?code.any))]) (do meta.monad [here meta.current_module_name] (if (n.= (list.size parameters) |