File tree Expand file tree Collapse file tree 3 files changed +10
-7
lines changed
crates/moonbuild/template/test_driver Expand file tree Collapse file tree 3 files changed +10
-7
lines changed Original file line number Diff line number Diff line change 33fn moonbit_test_driver_internal_error_to_string (x : Error ) -> String = "%error.to_string"
44
55fn moonbit_unsafe_char_from_int (x : Int ) -> Char = "%identity"
6-
6+ fn [ T ] moonbit_unsafe_int_from_int ( x : T ) -> Int = "%identity"
77typealias @moonbitlang/core/builtin .Map [
88 String ,
99 @moonbitlang/core/builtin .Map [
@@ -87,7 +87,7 @@ fn main {
8787 let mut res = 0
8888 let len = s .length ()
8989 for i = 0 ; i < len ; i = i + 1 {
90- res = res * 10 + (s [i ] - '0' )
90+ res = res * 10 + (moonbit_unsafe_int_from_int ( s [i ]) - '0' )
9191 }
9292 res
9393 }
@@ -148,7 +148,7 @@ fn main {
148148 let mut i = 0
149149 let mut start = 0
150150 while i < s .length () {
151- if moonbit_unsafe_char_from_int (s [i ]) == sep {
151+ if moonbit_unsafe_char_from_int (moonbit_unsafe_int_from_int ( s [i ]) ) == sep {
152152 res .push (s .substring (start = start , end = i ))
153153 start = i + 1
154154 }
Original file line number Diff line number Diff line change 33fn moonbit_test_driver_internal_error_to_string (x : Error ) -> String = "%error.to_string"
44
55fn moonbit_unsafe_char_from_int (x : Int ) -> Char = "%identity"
6+ fn moonbit_unsafe_int_from_int (x : Int ) -> Int = "%identity"
7+
68pub (all ) struct Moonbit_Test_Driver_Internal_With_Bench_Args_Function ((@moonbitlang/core/bench .T ) -> Unit raise Error )
79
810typealias @moonbitlang/core/builtin .Map [
@@ -118,7 +120,7 @@ fn main {
118120 let mut res = 0
119121 let len = s .length ()
120122 for i = 0 ; i < len ; i = i + 1 {
121- res = res * 10 + (s [i ] - '0' .to_int ())
123+ res = res * 10 + (moonbit_unsafe_int_from_int ( s [i ]) - '0' .to_int ())
122124 }
123125 res
124126 }
@@ -179,7 +181,7 @@ fn main {
179181 let mut i = 0
180182 let mut start = 0
181183 while i < s .length () {
182- if moonbit_unsafe_char_from_int (s [i ]) == sep {
184+ if moonbit_unsafe_char_from_int (moonbit_unsafe_int_from_int ( s [i ]) ) == sep {
183185 res .push (s .substring (start = start , end = i ))
184186 start = i + 1
185187 }
Original file line number Diff line number Diff line change 33fn moonbit_test_driver_internal_error_to_string (x : Error ) -> String = "%error.to_string"
44
55fn moonbit_unsafe_char_from_int (x : Int ) -> Char = "%identity"
6+ fn [T ] moonbit_unsafe_int_from_int (x : T ) -> Int = "%identity"
67pub (all ) struct Moonbit_Test_Driver_Internal_No_Args_Function (() -> Unit raise Error )
78
89pub (all ) struct Moonbit_Test_Driver_Internal_With_Args_Function ((@moonbitlang/core/test .T ) -> Unit raise Error )
@@ -169,7 +170,7 @@ fn main {
169170 let mut res = 0
170171 let len = s .length ()
171172 for i = 0 ; i < len ; i = i + 1 {
172- res = res * 10 + (s [i ] - '0' .to_int ())
173+ res = res * 10 + (moonbit_unsafe_int_from_int ( s [i ]) - '0' .to_int ())
173174 }
174175 res
175176 }
@@ -230,7 +231,7 @@ fn main {
230231 let mut i = 0
231232 let mut start = 0
232233 while i < s .length () {
233- if moonbit_unsafe_char_from_int (s [i ]) == sep {
234+ if moonbit_unsafe_char_from_int (moonbit_unsafe_int_from_int ( s [i ]) ) == sep {
234235 res .push (s .substring (start = start , end = i ))
235236 start = i + 1
236237 }
You can’t perform that action at this time.
0 commit comments