diff options
Diffstat (limited to 'stdlib/source/library/lux/control/function/polymorphism/context.lux')
| -rw-r--r-- | stdlib/source/library/lux/control/function/polymorphism/context.lux | 4 |
1 files changed, 2 insertions, 2 deletions
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)) |