diff options
Diffstat (limited to 'lux-php/source')
| -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 dc3d270a7..72a064810 100644 --- a/lux-php/source/program.lux +++ b/lux-php/source/program.lux @@ -267,7 +267,7 @@ {index long}) php/runtime/Memory (|> value - (array.read index) + (array.read! index) maybe.assume (..value_wrapper lux_structure))) @@ -279,13 +279,13 @@ (case (:as Text index) (^ (static runtime.variant_tag_field)) (|> value - (array.read 0) + (array.read! 0) maybe.assume (:as java/lang/Integer) php/runtime/memory/LongMemory::valueOf) (^ (static runtime.variant_flag_field)) - (case (array.read 1 value) + (case (array.read! 1 value) #.None (php/runtime/memory/NullMemory::INSTANCE) @@ -294,7 +294,7 @@ (^ (static runtime.variant_value_field)) (|> value - (array.read 2) + (array.read! 2) maybe.assume (..value_wrapper lux_structure)) |