rsscript: add bytes to string intrinsic

Author: Haofei

crates/rsscript/src/reg_vm/mod.rs

@@ -1978,6 +1978,7 @@ enum RegIntrinsic {
     BytesIsEmpty,
     BytesLen,
     BytesSlice,
+    BytesToString,
     BytesToUints,
     BytesViewStartsWith,
     BytesViewToBytes,
@@ -3930,6 +3931,7 @@ impl RegLowerer<'_> {
                     ("Bytes", "is_empty") => RegIntrinsic::BytesIsEmpty,
                     ("Bytes", "len") => RegIntrinsic::BytesLen,
                     ("Bytes", "slice") | ("Bytes", "view") => RegIntrinsic::BytesSlice,
+                    ("Bytes", "to_string") => RegIntrinsic::BytesToString,
                     ("Bytes", "to_uints") => RegIntrinsic::BytesToUints,
                     ("Buffer", "clear") => {
                         if arg_regs.len() != 1 {
@@ -8824,6 +8826,10 @@ impl RegVm {
                 let len = expect_int_ref(intrinsic_arg(&self.stack, base, args, 2)?)?;
                 Ok(VmValue::Bytes(Rc::new(bytes_slice(value, start, len))))
             }
+            RegIntrinsic::BytesToString => {
+                let value = expect_bytes_ref(intrinsic_arg(&self.stack, base, args, 0)?)?;
+                Ok(VmValue::string(String::from_utf8_lossy(value)))
+            }
             RegIntrinsic::BytesToUints => {
                 let value = expect_bytes_ref(intrinsic_arg(&self.stack, base, args, 0)?)?;
                 Ok(VmValue::List(Rc::new(RefCell::new(

crates/rsscript/src/runtime_abi.rs

@@ -167,6 +167,7 @@ const RUNTIME_INTRINSICS: &[RuntimeIntrinsic] = &[
     runtime_intrinsic("Bytes", "is_empty", "rsscript_runtime::bytes_is_empty"),
     runtime_intrinsic("Bytes", "len", "rsscript_runtime::bytes_len"),
     runtime_intrinsic("Bytes", "slice", "rsscript_runtime::bytes_slice"),
+    runtime_intrinsic("Bytes", "to_string", "rsscript_runtime::bytes_to_string"),
     runtime_intrinsic("Bytes", "to_uints", "rsscript_runtime::bytes_to_uints"),
     runtime_intrinsic("Bytes", "view", "rsscript_runtime::bytes_view"),
     runtime_intrinsic(

crates/rsscript/tests/checker_lowering/stdlib.rs

@@ -844,6 +844,7 @@ fn main() -> Result<Unit, MyError> {
     let bytes_len = Bytes.len(value: read joined)
     let bytes_empty = Bytes.is_empty(value: read joined)
     let bytes_slice = Bytes.slice(value: read joined, start: 1, len: 2)
+    let bytes_text = Bytes.to_string(value: read bytes_slice)
 
     let buffer = Buffer.new(size: 16)
     let buffer_len = Buffer.len(buffer: read buffer)
@@ -1365,6 +1366,7 @@ fn inspect_file(path: read Path, bytes: read Bytes) -> Result<String, FileError>
     let exists = Directory.exists(path: read path)
     let metadata = Directory.metadata(path: read path)?
     let length = metadata_len(metadata: read metadata)
+    let byte_text = Bytes.to_string(value: read bytes)
     let text = Directory.read_string(path: read path)?
     Directory.write_string(path: read path, content: read text)?
     let file_hash = Hash.sha256_file(path: read path)?
@@ -1414,6 +1416,7 @@ fn fetch_status(url: read Url) -> Result<Int, HttpError> {
     assert!(rust.contains("rsscript_runtime::directory_write_string(path, &(text))?;"));
     assert!(rust.contains("let file_hash = rsscript_runtime::hash_sha256_file(path)?;"));
     assert!(rust.contains("let byte_hash = rsscript_runtime::hash_sha256_bytes(bytes);"));
+    assert!(rust.contains("let byte_text = rsscript_runtime::bytes_to_string(bytes);"));
     assert!(rust.contains("let current = rsscript_runtime::env_current_dir()?;"));
     assert!(rust.contains("let run_root = rsscript_runtime::env_run_workspace_root();"));
     assert!(rust.contains("rsscript_runtime::env_set_current_dir(&(current))?;"));

crates/rsscript/tests/vm/strings.rs

@@ -134,6 +134,7 @@ fn main() -> Unit {
 
     let part = Bytes.slice(value: read joined, start: 2, len: 3)
     Log.write(message: read String.from_int(value: Bytes.len(value: read part)))
+    Log.write(message: read Bytes.to_string(value: read part))
 
     let view = Bytes.view(value: read joined, start: 1, len: 4)
     Log.write(message: read String.from_int(value: BytesView.len(value: read view)))

crates/runtime/src/collections.rs

@@ -891,6 +891,10 @@ pub fn bytes_to_uints(value: &[u8]) -> Vec<i64> {
     value.iter().map(|byte| i64::from(*byte)).collect()
 }
 
+pub fn bytes_to_string(value: &[u8]) -> String {
+    String::from_utf8_lossy(value).to_string()
+}
+
 pub fn bytes_from_buffer(buffer: &[u8]) -> Vec<u8> {
     buffer.to_vec()
 }

stdlib/collections/bytes.rssi

@@ -10,6 +10,8 @@ pub fn Bytes.from_uints(values: read List<Int>) -> fresh Bytes
 
 pub fn Bytes.to_uints(value: read Bytes) -> fresh List<Int>
 
+pub fn Bytes.to_string(value: read Bytes) -> fresh String
+
 pub fn Bytes.len(value: read Bytes) -> Int
 
 pub fn Bytes.is_empty(value: read Bytes) -> Bool