diff options
| author | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
| commit | 6fd22846f21b8b70b7867e989109d14a366c0a3e (patch) | |
| tree | 9086774968ad944133dc5cf29c546add6e13a4b6 /stdlib/source/specification | |
| parent | e53c1a090eb9cfac3cb23d10d981648d02518ed1 (diff) | |
Moved documentation-generation machinery to its own module.
Diffstat (limited to 'stdlib/source/specification')
| -rw-r--r-- | stdlib/source/specification/compositor/generation/function.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/specification/compositor/generation/structure.lux | 6 |
2 files changed, 5 insertions, 5 deletions
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') |