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/function.lux  | 4 ++--
 stdlib/source/specification/compositor/generation/structure.lux | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'stdlib/source/specification/compositor')

diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index ad90dbfa0..f4697bd38 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -63,8 +63,8 @@
                     (//case.verify expectation)))
         (_.test "Can partially apply functions."
                 (or (n.= 1 arity)
-                    (let [preS (list.take partial_arity inputsS)
-                          postS (list.drop partial_arity inputsS)
+                    (let [preS (list.first partial_arity inputsS)
+                          postS (list.after partial_arity inputsS)
                           partialS (synthesis.function/apply {#synthesis.function functionS
                                                               #synthesis.arguments preS})]
                       (|> (synthesis.function/apply {#synthesis.function partialS
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