diff options
| author | Eduardo Julian | 2022-04-06 05:24:14 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-04-06 05:24:14 -0400 |
| commit | 0494295b95c5c44ef389f1259e408f9445cfe0a1 (patch) | |
| tree | a02dc1341cb31f1e2eccf023db3d01ae15ac70ac /stdlib/source/unsafe | |
| parent | 60daee098f92a44c3b404a9f5801f2e8126ad650 (diff) | |
Got documentation back in working condition.
Diffstat (limited to 'stdlib/source/unsafe')
| -rw-r--r-- | stdlib/source/unsafe/lux/data/binary.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/unsafe/lux/data/collection/array.lux | 37 |
2 files changed, 21 insertions, 20 deletions
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 @@ (.|> <it> (.as (array.Array .Frac)) ("js array read" <index>) + (.as .Frac) "lux f64 i64" .i64) @@ -211,7 +212,8 @@ (.|> <value> .int ("lux i64 and" (.int <byte>)) - "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))))) <index> <array>)])) (`` (template: .public (has! <index> <value> <array>) @@ -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)))) <index> <value> <array>)])) (`` (template: .public (lacks! <index> <array>) |