From 0494295b95c5c44ef389f1259e408f9445cfe0a1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 6 Apr 2022 05:24:14 -0400 Subject: Got documentation back in working condition. --- stdlib/source/unsafe/lux/data/binary.lux | 4 ++- stdlib/source/unsafe/lux/data/collection/array.lux | 37 +++++++++++----------- 2 files changed, 21 insertions(+), 20 deletions(-) (limited to 'stdlib/source/unsafe') diff --git a/stdlib/source/unsafe/lux/data/binary.lux b/stdlib/source/unsafe/lux/data/binary.lux index a32d5e4f2..f6dced3cb 100644 --- a/stdlib/source/unsafe/lux/data/binary.lux +++ b/stdlib/source/unsafe/lux/data/binary.lux @@ -134,6 +134,7 @@ (.|> (.as (array.Array .Frac)) ("js array read" ) + (.as .Frac) "lux f64 i64" .i64) @@ -211,7 +212,8 @@ (.|> .int ("lux i64 and" (.int )) - "lux i64 f64")) + "lux i64 f64" + .as_expected)) (.as ..Binary)) (~~ (.static @.python)) diff --git a/stdlib/source/unsafe/lux/data/collection/array.lux b/stdlib/source/unsafe/lux/data/collection/array.lux index 7ad2f8a84..3fbd7d0ae 100644 --- a/stdlib/source/unsafe/lux/data/collection/array.lux +++ b/stdlib/source/unsafe/lux/data/collection/array.lux @@ -105,20 +105,19 @@ [((.is (.All (_ r w) (.-> .Nat (..Array' r w) r)) (.function (item index array) - (.for (~~ (.static @.old)) - ("jvm aaload" array index) - - (~~ (.static @.jvm)) - (.|> array - ("jvm array read object" (~~ (jvm_int index))) - .as_expected) + (.as_expected + (.for (~~ (.static @.old)) + ("jvm aaload" array index) - (~~ (.static @.js)) ("js array read" index array) - (~~ (.static @.python)) ("python array read" index array) - (~~ (.static @.lua)) ("lua array read" index array) - (~~ (.static @.ruby)) ("ruby array read" index array) - (~~ (.static @.php)) ("php array read" index array) - (~~ (.static @.scheme)) ("scheme array read" index array)))) + (~~ (.static @.jvm)) + ("jvm array read object" (~~ (jvm_int index)) array) + + (~~ (.static @.js)) ("js array read" index array) + (~~ (.static @.python)) ("python array read" index array) + (~~ (.static @.lua)) ("lua array read" index array) + (~~ (.static @.ruby)) ("ruby array read" index array) + (~~ (.static @.php)) ("php array read" index array) + (~~ (.static @.scheme)) ("scheme array read" index array))))) )])) (`` (template: .public (has! ) @@ -133,12 +132,12 @@ ("jvm array write object" (~~ (jvm_int index)) value) .as_expected) - (~~ (.static @.js)) ("js array write" index value array) - (~~ (.static @.python)) ("python array write" index value array) - (~~ (.static @.lua)) ("lua array write" index value array) - (~~ (.static @.ruby)) ("ruby array write" index value array) - (~~ (.static @.php)) ("php array write" index value array) - (~~ (.static @.scheme)) ("scheme array write" index value array)))) + (~~ (.static @.js)) ("js array write" index (.as_expected value) array) + (~~ (.static @.python)) ("python array write" index (.as_expected value) array) + (~~ (.static @.lua)) ("lua array write" index (.as_expected value) array) + (~~ (.static @.ruby)) ("ruby array write" index (.as_expected value) array) + (~~ (.static @.php)) ("php array write" index (.as_expected value) array) + (~~ (.static @.scheme)) ("scheme array write" index (.as_expected value) array)))) )])) (`` (template: .public (lacks! ) -- cgit v1.2.3