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.lux                |  4 ++--
 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 +-
 lux-jvm/test/test/luxc/lang/synthesis/loop.lux              |  4 ++--
 5 files changed, 11 insertions(+), 11 deletions(-)

(limited to 'lux-jvm')

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>
-- 
cgit v1.2.3