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> | 
