Moved documentation-generation machinery to its own module.

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))