aboutsummaryrefslogtreecommitdiff
path: root/lux-php/source
diff options
context:
space:
mode:
authorEduardo Julian2021-08-14 03:09:58 -0400
committerEduardo Julian2021-08-14 03:09:58 -0400
commit6fd22846f21b8b70b7867e989109d14a366c0a3e (patch)
tree9086774968ad944133dc5cf29c546add6e13a4b6 /lux-php/source
parente53c1a090eb9cfac3cb23d10d981648d02518ed1 (diff)
Moved documentation-generation machinery to its own module.
Diffstat (limited to '')
-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 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))