From 6fd22846f21b8b70b7867e989109d14a366c0a3e Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 14 Aug 2021 03:09:58 -0400 Subject: Moved documentation-generation machinery to its own module. --- lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux | 2 +- lux-jvm/source/luxc/lang/translation/jvm/function.lux | 10 +++++----- lux-jvm/source/luxc/lang/translation/jvm/runtime.lux | 2 +- 3 files changed, 7 insertions(+), 7 deletions(-) (limited to 'lux-jvm/source/luxc/lang/translation/jvm') diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux index b25d37fd7..492911d40 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux @@ -966,7 +966,7 @@ (def: (anonymous_init_method env) (-> (Environment Synthesis) (Type Method)) (type.method [(list) - (list.repeat (list.size env) $Object) + (list.repeated (list.size env) $Object) type.void (list)])) 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)) diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux index 4d97535d1..2808065c6 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux @@ -115,7 +115,7 @@ (def: .public (apply_signature arity) (-> Arity (Type Method)) - (type.method [(list) (list.repeat arity $Value) $Value (list)])) + (type.method [(list) (list.repeated arity $Value) $Value (list)])) (def: adt_methods Def -- cgit v1.2.3