internal: rename driver ffi external type

moonbitlang · Sep 4, 2024 · 98cd1d8 · 98cd1d8
1 parent 2ac9377
commit 98cd1d8
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 16 deletions.
diff --git a/crates/moonbuild/template/test_driver_template.mbt b/crates/moonbuild/template/test_driver_template.mbt
@@ -171,26 +171,26 @@ fn main {
 
 // =========== ffi start ===========
 
-fn _moonbit_test_driver_internal_get_file_name() -> ExternString = "test" "get_file_name"
+fn _moonbit_test_driver_internal_get_file_name() -> MoonbitTestDriverInternalExternString = "test" "get_file_name"
 fn moonbit_test_driver_internal_get_file_name() -> String {
   let file_name = _moonbit_test_driver_internal_get_file_name()
   moonbit_test_driver_internal_string_from_extern(file_name)
 }
 
 fn moonbit_test_driver_internal_get_index() -> Int = "test" "get_index"
 
-type StringReadHandle
+type MoonbitTestDriverInternalStringReadHandle
 
-type ExternString
+type MoonbitTestDriverInternalExternString
 
-fn moonbit_test_driver_internal_begin_read_string(s : ExternString) -> StringReadHandle = "__moonbit_fs_unstable" "begin_read_string"
+fn moonbit_test_driver_internal_begin_read_string(s : MoonbitTestDriverInternalExternString) -> MoonbitTestDriverInternalStringReadHandle = "__moonbit_fs_unstable" "begin_read_string"
 
-fn moonbit_test_driver_internal_string_read_char(handle : StringReadHandle) -> Int = "__moonbit_fs_unstable" "string_read_char"
+fn moonbit_test_driver_internal_string_read_char(handle : MoonbitTestDriverInternalStringReadHandle) -> Int = "__moonbit_fs_unstable" "string_read_char"
 
-fn moonbit_test_driver_internal_finish_read_string(handle : StringReadHandle) = "__moonbit_fs_unstable" "finish_read_string"
+fn moonbit_test_driver_internal_finish_read_string(handle : MoonbitTestDriverInternalStringReadHandle) = "__moonbit_fs_unstable" "finish_read_string"
 
-fn moonbit_test_driver_internal_string_from_extern(e : ExternString) -> String {
-  let buf = Buffer::new()
+fn moonbit_test_driver_internal_string_from_extern(e : MoonbitTestDriverInternalExternString) -> String {
+  let buf = @moonbitlang/core/builtin.Buffer::new()
   let handle = moonbit_test_driver_internal_begin_read_string(e)
   while true {
     let ch = moonbit_test_driver_internal_string_read_char(handle)

diff --git a/crates/moonbuild/template/test_driver_template2.mbt b/crates/moonbuild/template/test_driver_template2.mbt
@@ -129,26 +129,26 @@ fn main {
 
 // =========== ffi start ===========
 
-fn _moonbit_test_driver_internal_get_file_name() -> ExternString = "test" "get_file_name"
+fn _moonbit_test_driver_internal_get_file_name() -> MoonbitTestDriverInternalExternString = "test" "get_file_name"
 fn moonbit_test_driver_internal_get_file_name() -> String {
   let file_name = _moonbit_test_driver_internal_get_file_name()
   moonbit_test_driver_internal_string_from_extern(file_name)
 }
 
 fn moonbit_test_driver_internal_get_index() -> Int = "test" "get_index"
 
-type StringReadHandle
+type MoonbitTestDriverInternalStringReadHandle
 
-type ExternString
+type MoonbitTestDriverInternalExternString
 
-fn moonbit_test_driver_internal_begin_read_string(s : ExternString) -> StringReadHandle = "__moonbit_fs_unstable" "begin_read_string"
+fn moonbit_test_driver_internal_begin_read_string(s : MoonbitTestDriverInternalExternString) -> MoonbitTestDriverInternalStringReadHandle = "__moonbit_fs_unstable" "begin_read_string"
 
-fn moonbit_test_driver_internal_string_read_char(handle : StringReadHandle) -> Int = "__moonbit_fs_unstable" "string_read_char"
+fn moonbit_test_driver_internal_string_read_char(handle : MoonbitTestDriverInternalStringReadHandle) -> Int = "__moonbit_fs_unstable" "string_read_char"
 
-fn moonbit_test_driver_internal_finish_read_string(handle : StringReadHandle) = "__moonbit_fs_unstable" "finish_read_string"
+fn moonbit_test_driver_internal_finish_read_string(handle : MoonbitTestDriverInternalStringReadHandle) = "__moonbit_fs_unstable" "finish_read_string"
 
-fn moonbit_test_driver_internal_string_from_extern(e : ExternString) -> String {
-  let buf = Buffer::new()
+fn moonbit_test_driver_internal_string_from_extern(e : MoonbitTestDriverInternalExternString) -> String {
+  let buf = @moonbitlang/core/builtin.Buffer::new()
   let handle = moonbit_test_driver_internal_begin_read_string(e)
   while true {
     let ch = moonbit_test_driver_internal_string_read_char(handle)