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. --- stdlib/source/specification/compositor/generation/structure.lux | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'stdlib/source/specification/compositor/generation/structure.lux') diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index 0b4bfe4fe..7cd303c52 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -45,9 +45,9 @@ (case> (#try.Success valueT) (let [valueT (:as (Array Any) valueT)] (and (n.= 3 (array.size valueT)) - (let [tag_out (:as java/lang/Integer (maybe.assume (array.read 0 valueT))) - last?_out (array.read 1 valueT) - value_out (:as Any (maybe.assume (array.read 2 valueT))) + (let [tag_out (:as java/lang/Integer (maybe.assume (array.read! 0 valueT))) + last?_out (array.read! 1 valueT) + value_out (:as Any (maybe.assume (array.read! 2 valueT))) same_tag? (|> tag_out ffi.int_to_long (:as Nat) (n.= tag_in)) same_flag? (case last?_out (#.Some last?_out') -- cgit v1.2.3