diff options
Diffstat (limited to '')
| -rw-r--r-- | lux-php/source/program.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lux-php/source/program.lux b/lux-php/source/program.lux index 50154039b..e4ef275d7 100644 --- a/lux-php/source/program.lux +++ b/lux-php/source/program.lux @@ -279,14 +279,14 @@ index java/lang/String]) php/runtime/Memory (case (:as Text index) - (^ (static runtime.variant_tag_field)) + (pattern (static runtime.variant_tag_field)) (|> value (array.read! 0) maybe.trusted (:as java/lang/Integer) php/runtime/memory/LongMemory::valueOf) - (^ (static runtime.variant_flag_field)) + (pattern (static runtime.variant_flag_field)) (case (array.read! 1 value) {.#None} (php/runtime/memory/NullMemory::INSTANCE) @@ -294,13 +294,13 @@ {.#Some value} ..unit) - (^ (static runtime.variant_value_field)) + (pattern (static runtime.variant_value_field)) (|> value (array.read! 2) maybe.trusted (..value_wrapper lux_structure)) - (^ (static runtime.tuple_size_field)) + (pattern (static runtime.tuple_size_field)) (php/runtime/memory/LongMemory::new (array.size value)) _ |