diff options
Diffstat (limited to 'stdlib/source/library/lux/control/function/polymorphism')
3 files changed, 17 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/control/function/polymorphism/context.lux b/stdlib/source/library/lux/control/function/polymorphism/context.lux index ce9d5a149..904cc100c 100644 --- a/stdlib/source/library/lux/control/function/polymorphism/context.lux +++ b/stdlib/source/library/lux/control/function/polymorphism/context.lux @@ -25,7 +25,7 @@ [syntax (.only syntax) ["[0]" export]]] [type - [primitive (.except #name)]]]]] + ["[0]" primitive (.except def #name)]]]]] [/// ["//" mixin]]) @@ -37,7 +37,7 @@ (scope (alteration context)))) (with_expansions [<representation> Symbol] - (primitive .public Layer + (primitive.def .public Layer <representation> (.def .public layer @@ -93,7 +93,11 @@ #export_policy Code #scenarios (List Code)])) -(context.def [stack expression declaration] Polymorphism) +(context.def + [stack] + [expression] + [declaration] + Polymorphism) (type Signature (Record diff --git a/stdlib/source/library/lux/control/function/polymorphism/predicate.lux b/stdlib/source/library/lux/control/function/polymorphism/predicate.lux index d87917fe0..78a238fa4 100644 --- a/stdlib/source/library/lux/control/function/polymorphism/predicate.lux +++ b/stdlib/source/library/lux/control/function/polymorphism/predicate.lux @@ -32,7 +32,11 @@ #export_policy Code #scenarios (List Code)])) -(context.def [stack expression declaration] Polymorphism) +(context.def + [stack] + [expression] + [declaration] + Polymorphism) (type Signature (Record diff --git a/stdlib/source/library/lux/control/function/polymorphism/type.lux b/stdlib/source/library/lux/control/function/polymorphism/type.lux index ed17649db..6dbd0ef42 100644 --- a/stdlib/source/library/lux/control/function/polymorphism/type.lux +++ b/stdlib/source/library/lux/control/function/polymorphism/type.lux @@ -26,7 +26,11 @@ #interface Code #method Code])) -(context.def [stack expression declaration] Polymorphism) +(context.def + [stack] + [expression] + [declaration] + Polymorphism) (.def .public def (syntax (_ [[export_policy name parameters type methods] |