From 6fd22846f21b8b70b7867e989109d14a366c0a3e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 14 Aug 2021 03:09:58 -0400
Subject: Moved documentation-generation machinery to its own module.

---
 lux-php/source/program.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lux-php')

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))
 
-- 
cgit v1.2.3