Merge e5a2dd2 into e7e5495

Author: Young-Flash

.github/workflows/check.yml

@@ -39,7 +39,7 @@ jobs:
 
       - name: moon info
         run: |
-          moon info
+          moon info --target wasm,wasm-gc,js,native
           git diff --exit-code
 
       - name: Set ulimit and run moon test
@@ -206,7 +206,7 @@ jobs:
 
       - name: moon info
         run: |
-          moon info
+          moon info --target wasm,wasm-gc,js,native
           git diff
 
       - name: check core size
@@ -261,7 +261,7 @@ jobs:
 
       - name: moon info
         run: |
-          moon info
+          moon info --target wasm,wasm-gc,js,native
           git diff
 
       - name: check core size

array/array_js.mbt

@@ -13,7 +13,7 @@
 // limitations under the License.
 
 ///|
-type JSArray
+priv type JSArray
 
 ///|
 fn JSArray::ofAnyArray[T](array : Array[T]) -> JSArray = "%identity"

builtin/arraycore_js.mbt

@@ -17,7 +17,7 @@
 // generic type parameters of extern ffi
 
 ///|
-type JSValue
+priv type JSValue
 
 ///|
 fn JSValue::ofAny[T](array : T) -> JSValue = "%identity"
@@ -26,7 +26,7 @@ fn JSValue::ofAny[T](array : T) -> JSValue = "%identity"
 fn JSValue::toAny[T](self : JSValue) -> T = "%identity"
 
 ///|
-type JSArray
+priv type JSArray
 
 ///|
 fn JSArray::ofAnyArray[T](array : Array[T]) -> JSArray = "%identity"

builtin/bigint_js.mbt

@@ -190,7 +190,7 @@ pub fn pow(self : BigInt, exponent : BigInt, modulus? : BigInt) -> BigInt {
 }
 
 ///|
-pub extern "js" fn to_byte(self : BigInt) -> Byte =
+extern "js" fn to_byte(self : BigInt) -> Byte =
   #|(x) => Number(BigInt.asUintN(8, x)) | 0
 
 ///|

builtin/int64_js.mbt

@@ -103,7 +103,7 @@ fn MyInt64::op_mul(self : MyInt64, other : MyInt64) -> MyInt64 {
 }
 
 ///|
-struct Int64WasmHelper {
+priv struct Int64WasmHelper {
   div_s : (Int, Int, Int, Int) -> Int
   div_u : (Int, Int, Int, Int) -> Int
   rem_s : (Int, Int, Int, Int) -> Int
@@ -502,7 +502,7 @@ pub fn Int64::to_int(self : Int64) -> Int {
 }
 
 ///|
-pub fn Int64::to_uint(self : Int64) -> UInt {
+fn Int64::to_uint(self : Int64) -> UInt {
   MyInt64::from_int64(self).to_uint()
 }
 
@@ -566,7 +566,7 @@ pub fn Double::convert_uint64(value : UInt64) -> Double {
 }
 
 ///|
-pub fn Double::convert_int64(value : Int64) -> Double {
+fn Double::convert_int64(value : Int64) -> Double {
   MyInt64::convert_to_double(MyInt64::from_int64(value))
 }
 

env/sys.mbt renamed to env/env.mbt

@@ -15,11 +15,11 @@
 ///|
 /// Get the command line arguments passed to the program.
 pub fn args() -> Array[String] {
-  @ffi.get_cli_args()
+  get_cli_args_internal()
 }
 
 ///|
 /// Get the current time in milliseconds since the Unix epoch.
 pub fn now() -> UInt64 {
-  @ffi.now()
+  now_internal()
 }

env/internal/ffi/sys_js.mbt renamed to env/env_js.mbt

@@ -13,7 +13,7 @@
 // limitations under the License.
 
 ///|
-pub extern "js" fn get_cli_args() -> Array[String] =
+extern "js" fn get_cli_args_internal() -> Array[String] =
   #| function() {
   #|  if (typeof process !== "undefined" && typeof process.argv !== "undefined") {
   #|    return process.argv;
@@ -23,7 +23,7 @@ pub extern "js" fn get_cli_args() -> Array[String] =
   #| }
 
 ///|
-pub extern "js" fn now() -> UInt64 =
+extern "js" fn now_internal() -> UInt64 =
   #| function() {
   #|   const nowMs = Date.now();
   #|   return ({ hi : Number(BigInt(nowMs) >> 32n), lo : nowMs & 0xFFFFFFFF });

env/internal/ffi/sys_native.mbt renamed to env/env_native.mbt

@@ -13,12 +13,12 @@
 // limitations under the License.
 
 ///|
-fn internal_get_cli_args() -> FixedArray[Bytes] = "$moonbit.get_cli_args"
+fn get_cli_args_ffi() -> FixedArray[Bytes] = "$moonbit.get_cli_args"
 
 ///|
-pub fn get_cli_args() -> Array[String] {
+fn get_cli_args_internal() -> Array[String] {
   Array::from_fixed_array(
-    internal_get_cli_args().map(fn {
+    get_cli_args_ffi().map(fn {
       // Here we assume that the CLI arguments are encoded in well-formed UTF-8.
       arg => utf8_bytes_to_mbt_string(arg)
     }),
@@ -72,6 +72,6 @@ fn utf8_bytes_to_mbt_string(bytes : Bytes) -> String {
 extern "c" fn time(ptr : Int) -> UInt64 = "time"
 
 ///|
-pub fn now() -> UInt64 {
+fn now_internal() -> UInt64 {
   time(0)
 }

env/env_test.mbt

@@ -0,0 +1,18 @@
+// Copyright 2025 International Digital Economy Academy
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+test {
+  let args = @env.args()
+  assert_true!(args.length() != 0)
+}

env/internal/ffi/sys_wasm.mbt renamed to env/env_wasm.mbt

@@ -13,31 +13,10 @@
 // limitations under the License.
 
 ///|
-pub(all) type XStringCreateHandle
+priv type XStringReadHandle
 
 ///|
-pub(all) type XStringReadHandle
-
-///|
-pub(all) type XExternString
-
-///|
-fn begin_create_string() -> XStringCreateHandle = "__moonbit_fs_unstable" "begin_create_string"
-
-///|
-fn string_append_char(handle : XStringCreateHandle, ch : Char) = "__moonbit_fs_unstable" "string_append_char"
-
-///|
-fn finish_create_string(handle : XStringCreateHandle) -> XExternString = "__moonbit_fs_unstable" "finish_create_string"
-
-///|
-pub fn string_to_extern(s : String) -> XExternString {
-  let handle = begin_create_string()
-  for i = 0; i < s.length(); i = i + 1 {
-    string_append_char(handle, s[i])
-  }
-  finish_create_string(handle)
-}
+priv type XExternString
 
 ///|
 fn begin_read_string(s : XExternString) -> XStringReadHandle = "__moonbit_fs_unstable" "begin_read_string"
@@ -50,7 +29,7 @@ fn string_read_char(handle : XStringReadHandle) -> Int = "__moonbit_fs_unstable"
 fn finish_read_string(handle : XStringReadHandle) = "__moonbit_fs_unstable" "finish_read_string"
 
 ///|
-pub fn string_from_extern(e : XExternString) -> String {
+fn string_from_extern(e : XExternString) -> String {
   let buf = StringBuilder::new()
   let handle = begin_read_string(e)
   while true {
@@ -66,10 +45,10 @@ pub fn string_from_extern(e : XExternString) -> String {
 }
 
 ///|
-pub(all) type XStringArrayReadHandle
+priv type XStringArrayReadHandle
 
 ///|
-pub(all) type XExternStringArray
+priv type XExternStringArray
 
 ///|
 fn begin_read_string_array(sa : XExternStringArray) -> XStringArrayReadHandle = "__moonbit_fs_unstable" "begin_read_string_array"
@@ -81,7 +60,7 @@ fn string_array_read_string(handle : XStringArrayReadHandle) -> XExternString =
 fn finish_read_string_array(handle : XStringArrayReadHandle) = "__moonbit_fs_unstable" "finish_read_string_array"
 
 ///|
-pub fn string_array_from_extern(e : XExternStringArray) -> Array[String] {
+fn string_array_from_extern(e : XExternStringArray) -> Array[String] {
   let buf = Array::new()
   let handle = begin_read_string_array(e)
   while true {
@@ -99,7 +78,7 @@ pub fn string_array_from_extern(e : XExternStringArray) -> Array[String] {
 }
 
 ///|
-pub fn get_cli_args() -> Array[String] {
+fn get_cli_args_internal() -> Array[String] {
   let args = get_cli_args_ffi()
   string_array_from_extern(args)
 }
@@ -108,4 +87,4 @@ pub fn get_cli_args() -> Array[String] {
 fn get_cli_args_ffi() -> XExternStringArray = "__moonbit_fs_unstable" "args_get"
 
 ///|
-pub fn now() -> UInt64 = "__moonbit_time_unstable" "now"
+fn now_internal() -> UInt64 = "__moonbit_time_unstable" "now"