Merge branch 'main' into xxmap-keys-values

Author: myfreess

NOTICE

@@ -80,6 +80,8 @@ File `float/exp.mbt`, `float/log.mbt`, `double/mod_nonjs.mbt` and `double/scalbn
   and `src/math/exp2f_data.c`.
 - `double/mod_nonjs.mbt` is adapted from `src/math/fmod.c`.
 - `double/scalbn.mbt` is adapted from `src/math/scalbn.c`.
+- `math/hyperbolic.mbt` is adapted from `src/math/sinh.c`, `src/math/cosh.c`,
+`src/math/tanh.c`, `src/math/asinh.c`, `src/math/acosh.c`, and `src/math/atanh.c`.
 
 `float/log.mbt` and `float/exp.mbt` files are Copyright (c) 2017-2018 Arm Limited and licensed under the MIT
 license.
@@ -105,7 +107,8 @@ COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
 IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
 CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 
-`double/mod_nonjs.mbt` and `double/scalbn.mbt` are licensed under the following license:
+`double/mod_nonjs.mbt`, `double/scalbn.mbt`, `math/algebraic.mbt`,
+`math/log.mbt` and `math/pow.mbt` are licensed under the following license:
 
 Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
 

array/array.mbti

@@ -99,6 +99,7 @@ impl ArrayView {
   fold[A, B](Self[A], init~ : B, (B, A) -> B) -> B
   foldi[A, B](Self[A], init~ : B, (Int, B, A) -> B) -> B
   iter[A](Self[A]) -> Iter[A]
+  iter2[A](Self[A]) -> Iter2[Int, A]
   map[T, U](Self[T], (T) -> U) -> Array[U]
   map_inplace[T](Self[T], (T) -> T) -> Unit
   mapi[T, U](Self[T], (Int, T) -> U) -> Array[U]

array/moon.pkg.json

@@ -7,6 +7,7 @@
     "moonbitlang/core/quickcheck/splitmix"
   ],
   "test-import": [
+    "moonbitlang/core/char",
     "moonbitlang/core/test",
     "moonbitlang/core/random",
     "moonbitlang/core/json"

array/view.mbt

@@ -193,6 +193,36 @@ pub fn View::iter[A](self : View[A]) -> Iter[A] {
   })
 }
 
+///|
+/// Returns an iterator that yields tuples of index and value
+/// indices start from 0.
+/// 
+/// Example:
+/// ```moonbit
+/// test "View::iter" {
+///   let arr = [1, 2, 3]
+///   let view = arr[1:]
+///   let mut sum = 0
+///   let mut sum_keys = 0
+///   view.iter2().each(fn(i, x) {
+///     sum = sum + x 
+///     sum_keys = sum_keys + i
+///   })
+///   inspect!(sum, content="5")
+///   inspect!(sum_keys, content="1")
+/// }
+/// ```
+pub fn View::iter2[A](self : View[A]) -> Iter2[Int, A] {
+  Iter2::new(fn(yield_) {
+    for i, v in self {
+      guard yield_(i, v) is IterContinue else { break IterEnd }
+
+    } else {
+      IterContinue
+    }
+  })
+}
+
 ///|
 /// Fold out values from an View according to certain rules.
 ///

array/view_test.mbt

@@ -92,6 +92,22 @@ test "iter" {
   @json.inspect!(array[5:9].iter().to_array(), content=[5, 6, 7, 8])
 }
 
+///|
+test "iter2" {
+  let arr = [1, 2, 3]
+  let view = arr[1:]
+  let mut sum = 0
+  let mut sum_keys = 0
+  view
+  .iter2()
+  .each(fn(i, x) {
+    sum = sum + x
+    sum_keys = sum_keys + i
+  })
+  inspect!(sum, content="5")
+  inspect!(sum_keys, content="1")
+}
+
 ///|
 test "to_string" {
   let arr = [0, 1, 2, 3, 4]

bigint/moon.pkg.json

@@ -1,6 +1,7 @@
 {
   "import": [
     "moonbitlang/core/builtin",
+    "moonbitlang/core/char",
     "moonbitlang/core/uint",
     "moonbitlang/core/json",
     "moonbitlang/core/quickcheck",
@@ -12,4 +13,4 @@
     "bigint_js_wbtest.mbt": ["js"],
     "bigint_nonjs_wbtest.mbt": ["not", "js"]
   }
-}
+}

bool/moon.pkg.json

@@ -1,3 +1,4 @@
 {
-  "import": ["moonbitlang/core/builtin"]
+  "import": ["moonbitlang/core/builtin"],
+  "test-import": [ "moonbitlang/core/char" ]
 }

builtin/array_block.mbt

@@ -137,7 +137,7 @@ pub fn Array::unsafe_blit_fixed[A](
 /// * `len` is negative
 /// * `src_offset` is negative
 /// * `dst_offset` is negative
-/// * `dst_offset + len` exceeds the length of destination array
+/// * `dst_offset` exceeds the length of destination array
 /// * `src_offset + len` exceeds the length of source array
 pub fn Array::blit_to[A](
   self : Array[A],

builtin/builtin.mbti

@@ -780,7 +780,6 @@ pub(open) trait Show {
 impl Show for Unit
 impl Show for Bool
 impl Show for Byte
-impl Show for Char
 impl Show for Int
 impl Show for Int16
 impl Show for Int64
@@ -835,7 +834,6 @@ pub(open) trait ToJson {
 impl ToJson for Unit
 impl ToJson for Bool
 impl ToJson for Byte
-impl ToJson for Char
 impl ToJson for Int
 impl ToJson for Int64
 impl ToJson for UInt

builtin/intrinsics_test.mbt

@@ -484,15 +484,15 @@ test "Int::to_char - Invalid values" {
 ///|
 test "Int::to_char - Valid values" {
   inspect!(Int::to_char(0), content="Some('\\u{00}')")
-  inspect!(Int::to_char(127), content="Some('')")
-  inspect!(Int::to_char(128), content="Some('€')")
-  inspect!(Int::to_char(0x7F), content="Some('')")
-  inspect!(Int::to_char(0x80), content="Some('€')")
+  inspect!(Int::to_char(127), content="Some('\\u{7f}')")
+  inspect!(Int::to_char(128), content="Some('\\u{80}')")
+  inspect!(Int::to_char(0x7F), content="Some('\\u{7f}')")
+  inspect!(Int::to_char(0x80), content="Some('\\u{80}')")
   inspect!(Int::to_char(0xFF), content="Some('ÿ')")
   inspect!(Int::to_char(0x100), content="Some('Ā')")
-  inspect!(Int::to_char(0xFFFF), content="Some('')")
+  inspect!(Int::to_char(0xFFFF), content="Some('\\u{ffff}')")
   inspect!(Int::to_char(0x10000), content="Some('𐀀')")
-  inspect!(Int::to_char(0x10FFFF), content="Some('􏿿')")
+  inspect!(Int::to_char(0x10FFFF), content="Some('\\u{10ffff}')")
 }
 
 ///|
@@ -508,8 +508,8 @@ test "Int::to_char - Invalid values" {
 ///|
 test "Int::to_char - Boundary cases" {
   inspect!(Int::to_char(0xD7FF), content="Some('퟿')")
-  inspect!(Int::to_char(0xE000), content="Some('')")
-  inspect!(Int::to_char(0x10FFFF), content="Some('􏿿')")
+  inspect!(Int::to_char(0xE000), content="Some('\\u{e000}')")
+  inspect!(Int::to_char(0x10FFFF), content="Some('\\u{10ffff}')")
   inspect!(Int::to_char(0x10FFFF + 1), content="None")
 }