diff options
author | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
commit | 6fd22846f21b8b70b7867e989109d14a366c0a3e (patch) | |
tree | 9086774968ad944133dc5cf29c546add6e13a4b6 /lux-jvm/source/luxc/lang/translation/jvm/function.lux | |
parent | e53c1a090eb9cfac3cb23d10d981648d02518ed1 (diff) |
Moved documentation-generation machinery to its own module.
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/function.lux')
-rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/function.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux index e4fb2c65e..9af108496 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux @@ -52,7 +52,7 @@ (def: (captured_args env) (-> (Environment Synthesis) (List (Type Value))) - (list.repeat (list.size env) //.$Value)) + (list.repeated (list.size env) //.$Value)) (def: (init_method env arity) (-> (Environment Synthesis) Arity (Type Method)) @@ -60,13 +60,13 @@ (type.method [(list) (list.joined (list (captured_args env) (list type.int) - (list.repeat (dec arity) //.$Value))) + (list.repeated (dec arity) //.$Value))) type.void (list)]) (type.method [(list) (captured_args env) type.void (list)]))) (def: (implementation_method arity) - (type.method [(list) (list.repeat arity //.$Value) //.$Value (list)])) + (type.method [(list) (list.repeated arity //.$Value) //.$Value (list)])) (def: get_amount_of_partialsI Inst @@ -103,7 +103,7 @@ (def: (nullsI amount) (-> Nat Inst) (|> _.NULL - (list.repeat amount) + (list.repeated amount) _.fuse)) (def: (instance generate archive class arity env) @@ -201,7 +201,7 @@ Def) (let [num_partials (dec function_arity) @default ($.new_label []) - @labels (list@map $.new_label (list.repeat num_partials [])) + @labels (list@map $.new_label (list.repeated num_partials [])) over_extent (|> (.int function_arity) (i.- (.int apply_arity))) casesI (|> (list@compose @labels (list @default)) (list.zipped/2 (enum.range n.enum 0 num_partials)) |