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-lua/source/program.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'lux-lua')

diff --git a/lux-lua/source/program.lux b/lux-lua/source/program.lux
index fc02693cf..ffaf3a8e9 100644
--- a/lux-lua/source/program.lux
+++ b/lux-lua/source/program.lux
@@ -188,7 +188,7 @@
 
                    (net/sandius/rembulan/impl/DefaultTable
                     [] (rawget self {idx long}) java/lang/Object
-                    (|> value (array.read (|> idx (:as Nat) dec)) maybe.assume re_wrap))
+                    (|> value (array.read! (|> idx (:as Nat) dec)) maybe.assume re_wrap))
 
                    (net/sandius/rembulan/impl/DefaultTable
                     [] (rawget self {field java/lang/Object}) java/lang/Object
@@ -196,10 +196,10 @@
                       (#.Some field)
                       (case (net/sandius/rembulan/ByteString::decode field)
                         (^ (static runtime.variant_tag_field))
-                        (|> value (array.read 0) maybe.assume)
+                        (|> value (array.read! 0) maybe.assume)
                         
                         (^ (static runtime.variant_flag_field))
-                        (case (array.read 1 value)
+                        (case (array.read! 1 value)
                           (#.Some _)
                           ""
 
@@ -207,7 +207,7 @@
                           (ffi.null))
                         
                         (^ (static runtime.variant_value_field))
-                        (|> value (array.read 2) maybe.assume re_wrap)
+                        (|> value (array.read! 2) maybe.assume re_wrap)
 
                         _
                         (panic! (exception.construct ..unknown_kind_of_object field)))
@@ -215,7 +215,7 @@
                       #.None
                       (case (ffi.check java/lang/Long field)
                         (#.Some idx)
-                        (|> value (array.read (|> idx (:as Nat) dec)) maybe.assume re_wrap)
+                        (|> value (array.read! (|> idx (:as Nat) dec)) maybe.assume re_wrap)
                         
                         #.None
                         (panic! (exception.construct ..unknown_kind_of_object field)))))
@@ -319,7 +319,7 @@
                                                                                                ... (net/sandius/rembulan/impl/ImmutableTable$Builder::build (net/sandius/rembulan/impl/ImmutableTable$Builder::new))
                                                                                                (:as java/lang/Object (lux_structure (:as (Array java/lang/Object) lux)))))
                                                                              executor)]
-                 (|> output (array.read 0) maybe.assume (:as java/lang/Object) ..read)))
+                 (|> output (array.read! 0) maybe.assume (:as java/lang/Object) ..read)))
 
              (def: (expander baggage macro inputs lux)
                (-> Baggage Expander)
@@ -546,7 +546,7 @@
                                            [lua_function (net/sandius/rembulan/load/ChunkLoader::loadTextChunk variable "lux compilation" (_.code code) loader)
                                             output (net/sandius/rembulan/exec/DirectCallExecutor::call state_context (:as java/lang/Object lua_function) (array.new 0)
                                                                                                        executor)]
-                                           (case (array.read 0 output)
+                                           (case (array.read! 0 output)
                                              #.None
                                              (wrap [])
 
@@ -749,7 +749,7 @@
                                                                                      (array.write! 4 (..to_host state)))
                                                                                  executor)]
                      (|> output
-                         (array.read 0)
+                         (array.read! 0)
                          maybe.assume
                          (:as java/lang/Object)
                          ..read)))))
-- 
cgit v1.2.3