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 | |
parent | e53c1a090eb9cfac3cb23d10d981648d02518ed1 (diff) |
Moved documentation-generation machinery to its own module.
Diffstat (limited to 'lux-jvm')
5 files changed, 11 insertions, 11 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm.lux b/lux-jvm/source/luxc/lang/translation/jvm.lux index dbf49b552..71dcfa645 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm.lux @@ -100,7 +100,7 @@ (def: .public bytecode_name (-> Text Text) - (text.replace_all ..class_path_separator .module_separator)) + (text.replaced ..class_path_separator .module_separator)) (def: .public (class_name [module_id artifact_id]) (-> generation.Context Text) @@ -136,7 +136,7 @@ (def: (execute! library loader [class_name class_bytecode]) (-> Library java/lang/ClassLoader Definition (Try Any)) (io.run! (do (try.with io.monad) - [existing_class? (|> (atom.read library) + [existing_class? (|> (atom.read! library) (\ io.monad map (function (_ library) (dictionary.key? library class_name))) (try.lifted io.monad) 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 diff --git a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux index 0ed3b63fa..63ad3a395 100644 --- a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux +++ b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux @@ -62,9 +62,9 @@ #let [bad-bodies (list.repeat num-cases (' []))] good-body (gen-body arity output) where-to-set (|> r.nat (:: @ map (n/% num-cases))) - #let [bodies (list.joined (list (list.take where-to-set bad-bodies) + #let [bodies (list.joined (list (list.first where-to-set bad-bodies) (list good-body) - (list.drop (n/inc where-to-set) bad-bodies)))]] + (list.after (n/inc where-to-set) bad-bodies)))]] (wrap (` ("lux case" (~ inputA) (~ (code.record (list.zip2 tests bodies)))))))) (r.either (do r.Monad<Random> |