diff options
author | Eduardo Julian | 2022-06-12 14:19:07 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-12 14:19:07 -0400 |
commit | 616ce8051f59f956fedc57780f5a8fefa16dd61d (patch) | |
tree | d0cf43811d8414730cd52fb0d509c7cbc7032cda /stdlib/source/program/aedifex/command | |
parent | 8c3a1afab9efeb86e2f53d743551fc689fbad257 (diff) |
Re-named "partial_list" to "list.partial".
Diffstat (limited to 'stdlib/source/program/aedifex/command')
-rw-r--r-- | stdlib/source/program/aedifex/command/auto.lux | 2 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/command/build.lux | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux index 07842d32e..2e07625cb 100644 --- a/stdlib/source/program/aedifex/command/auto.lux +++ b/stdlib/source/program/aedifex/command/auto.lux @@ -33,7 +33,7 @@ (at ! each (|>> (try.else (list)) (monad.each ! (targets fs)))) (at ! conjoint) - (at ! each (|>> list.together (partial_list path)))))) + (at ! each (|>> list.together (list.partial path)))))) (def: .public delay Nat diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux index dfb566c11..b00f60968 100644 --- a/stdlib/source/program/aedifex/command/build.lux +++ b/stdlib/source/program/aedifex/command/build.lux @@ -271,7 +271,7 @@ _ (revised ///runtime.#parameters - (|>> (partial_list "-cp" (..jvm_class_path host_dependencies) + (|>> (list.partial "-cp" (..jvm_class_path host_dependencies) "-Xss16m" "--add-opens" "java.base/java.lang=ALL-UNNAMED")) runtime))) |