aboutsummaryrefslogtreecommitdiff
path: root/lux-php/source
diff options
context:
space:
mode:
Diffstat (limited to 'lux-php/source')
-rw-r--r--lux-php/source/program.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/lux-php/source/program.lux b/lux-php/source/program.lux
index 64cdb5d4b..8ce0efe16 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)
- (pattern (static runtime.variant_tag_field))
+ (static runtime.variant_tag_field)
(|> value
(array.read! 0)
maybe.trusted
(as java/lang/Integer)
php/runtime/memory/LongMemory::valueOf)
- (pattern (static runtime.variant_flag_field))
+ (static runtime.variant_flag_field)
(case (array.read! 1 value)
{.#None}
(php/runtime/memory/NullMemory::INSTANCE)
@@ -294,13 +294,13 @@
{.#Some value}
..unit)
- (pattern (static runtime.variant_value_field))
+ (static runtime.variant_value_field)
(|> value
(array.read! 2)
maybe.trusted
(..value_wrapper lux_structure))
- (pattern (static runtime.tuple_size_field))
+ (static runtime.tuple_size_field)
(php/runtime/memory/LongMemory::new (array.size value))
_