aboutsummaryrefslogtreecommitdiff
path: root/lux-lua
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-lua
parente53c1a090eb9cfac3cb23d10d981648d02518ed1 (diff)
Moved documentation-generation machinery to its own module.
Diffstat (limited to 'lux-lua')
-rw-r--r--lux-lua/source/program.lux16
1 files changed, 8 insertions, 8 deletions
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)))))