From 9e7ddacf853efd7a18c1911d2f287d483b083229 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 3 Jul 2022 00:35:32 -0400 Subject: Added a new custom type for pattern-matching macros. --- lux-ruby/source/program.lux | 46 ++++++++++++++++++++++----------------------- 1 file changed, 23 insertions(+), 23 deletions(-) (limited to 'lux-ruby') diff --git a/lux-ruby/source/program.lux b/lux-ruby/source/program.lux index 932e48f80..704296d36 100644 --- a/lux-ruby/source/program.lux +++ b/lux-ruby/source/program.lux @@ -402,35 +402,35 @@ (ffi.read! index args))) (monad.each ! (|>> (ffi.is java/lang/Object) ..read))) output (case args - (pattern (list arg/0)) + (list arg/0) (in ((as (-> Any java/lang/Object) value) arg/0)) - (pattern (list arg/0 arg/1)) + (list arg/0 arg/1) (in ((as (-> Any Any java/lang/Object) value) arg/0 arg/1)) - (pattern (list arg/0 arg/1 arg/2)) + (list arg/0 arg/1 arg/2) (in ((as (-> Any Any Any java/lang/Object) value) arg/0 arg/1 arg/2)) - (pattern (list arg/0 arg/1 arg/2 arg/3)) + (list arg/0 arg/1 arg/2 arg/3) (in ((as (-> Any Any Any Any java/lang/Object) value) arg/0 arg/1 arg/2 arg/3)) - (pattern (list arg/0 arg/1 arg/2 arg/3 arg/4)) + (list arg/0 arg/1 arg/2 arg/3 arg/4) (in ((as (-> Any Any Any Any Any java/lang/Object) value) arg/0 arg/1 arg/2 arg/3 arg/4)) - (pattern (list arg/0 arg/1 arg/2 arg/3 arg/4 arg/5)) + (list arg/0 arg/1 arg/2 arg/3 arg/4 arg/5) (in ((as (-> Any Any Any Any Any Any java/lang/Object) value) arg/0 arg/1 arg/2 arg/3 arg/4 arg/5)) - (pattern (list arg/0 arg/1 arg/2 arg/3 arg/4 arg/5 arg/6)) + (list arg/0 arg/1 arg/2 arg/3 arg/4 arg/5 arg/6) (in ((as (-> Any Any Any Any Any Any Any java/lang/Object) value) arg/0 arg/1 arg/2 arg/3 arg/4 arg/5 arg/6)) - (pattern (list arg/0 arg/1 arg/2 arg/3 arg/4 arg/5 arg/6 arg/7)) + (list arg/0 arg/1 arg/2 arg/3 arg/4 arg/5 arg/6 arg/7) (in ((as (-> Any Any Any Any Any Any Any Any java/lang/Object) value) arg/0 arg/1 arg/2 arg/3 arg/4 arg/5 arg/6 arg/7)) @@ -475,7 +475,7 @@ (case (ffi.as org/jruby/RubyString member) {.#Some member} (case (ffi.of_string (org/jruby/RubyString::asJavaString member)) - (pattern (static runtime.variant_tag_field)) + (static runtime.variant_tag_field) (|> value (array.item 0) maybe.trusted @@ -484,7 +484,7 @@ (org/jruby/RubyFixnum::new ..initial_ruby_runtime) (ffi.is org/jruby/runtime/builtin/IRubyObject)) - (pattern (static runtime.variant_flag_field)) + (static runtime.variant_flag_field) (case (array.item 1 value) {.#None} ..ruby_nil @@ -492,7 +492,7 @@ {.#Some flag} ..lux_unit) - (pattern (static runtime.variant_value_field)) + (static runtime.variant_value_field) (case (array.item 2 value) {.#Some value} (wrapped_lux_value (as_expected useful_object_class) lux_structure value) @@ -853,9 +853,9 @@ (monad.each ! (|>> (ffi.is java/lang/Object) ..read)))]) (case inputs ... It seems that org/jruby/runtime/Block::call can misbehave when getting called with a Lux state value. - (pattern (list info source location current_module modules scopes type_context expected seed scope_type_vars extensions eval host)) + (list info source location current_module modules scopes type_context expected seed scope_type_vars extensions eval host) (case partial_application - (pattern (list partial/0 partial/1)) + (list partial/0 partial/1) (in (..to_host ((as (-> Any Any Any Any) phase) partial/0 partial/1 @@ -864,21 +864,21 @@ _ (exception.except ..invaid_phase_application [partial_application inputs])) - (pattern (list)) + (list) {try.#Success (<| (ffi.is org/jruby/runtime/builtin/IRubyObject) (host_phase partial_application phase))} - (pattern (list input/0)) + (list input/0) (case partial_application - (pattern (list)) + (list) (in (<| (ffi.is org/jruby/runtime/builtin/IRubyObject) (host_phase (list input/0) phase))) - (pattern (list partial/0)) + (list partial/0) (in (<| (ffi.is org/jruby/runtime/builtin/IRubyObject) (host_phase (list partial/0 input/0) phase))) - (pattern (list partial/0 partial/1)) + (list partial/0 partial/1) (in (..to_host ((as (-> Any Any Any Any) phase) partial/0 partial/1 @@ -887,13 +887,13 @@ _ (exception.except ..invaid_phase_application [partial_application inputs])) - (pattern (list input/0 input/1)) + (list input/0 input/1) (case partial_application - (pattern (list)) + (list) (in (<| (ffi.is org/jruby/runtime/builtin/IRubyObject) (host_phase (list input/0 input/1) phase))) - (pattern (list partial/0)) + (list partial/0) (in (..to_host ((as (-> Any Any Any Any) phase) partial/0 input/0 @@ -902,9 +902,9 @@ _ (exception.except ..invaid_phase_application [partial_application inputs])) - (pattern (list input/0 input/1 input/2)) + (list input/0 input/1 input/2) (case partial_application - (pattern (list)) + (list) (in (..to_host ((as (-> Any Any Any Any) phase) input/0 input/1 -- cgit v1.2.3