diff options
author | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
commit | 6fd22846f21b8b70b7867e989109d14a366c0a3e (patch) | |
tree | 9086774968ad944133dc5cf29c546add6e13a4b6 /lux-php | |
parent | e53c1a090eb9cfac3cb23d10d981648d02518ed1 (diff) |
Moved documentation-generation machinery to its own module.
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 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)) |