aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm
diff options
context:
space:
mode:
authorEduardo Julian2021-08-14 03:09:58 -0400
committerEduardo Julian2021-08-14 03:09:58 -0400
commit6fd22846f21b8b70b7867e989109d14a366c0a3e (patch)
tree9086774968ad944133dc5cf29c546add6e13a4b6 /lux-jvm
parente53c1a090eb9cfac3cb23d10d981648d02518ed1 (diff)
Moved documentation-generation machinery to its own module.
Diffstat (limited to 'lux-jvm')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm.lux4
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/function.lux10
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/runtime.lux2
-rw-r--r--lux-jvm/test/test/luxc/lang/synthesis/loop.lux4
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>