step 2

hargoniX · hargoniX · commit dfe9dc808609 · 2025-11-19T17:20:32.000Z
diff --git a/src/runtime/object.cpp b/src/runtime/object.cpp
@@ -1952,8 +1952,10 @@ extern "C" LEAN_EXPORT obj_res lean_decode_lossy_utf8(b_obj_arg a) {
     return lean_mk_string_from_bytes(reinterpret_cast<char *>(lean_sarray_cptr(a)), lean_sarray_size(a));
 }
 
-extern "C" LEAN_EXPORT obj_res lean_string_from_utf8_unchecked(b_obj_arg a) {
-    return lean_mk_string_from_bytes_unchecked(reinterpret_cast<char *>(lean_sarray_cptr(a)), lean_sarray_size(a));
+extern "C" LEAN_EXPORT obj_res lean_string_from_utf8_unchecked(obj_arg a) {
+    obj_res ret = lean_mk_string_from_bytes_unchecked(reinterpret_cast<char *>(lean_sarray_cptr(a)), lean_sarray_size(a));
+    lean_dec(a);
+    return ret;
 }
 
 extern "C" LEAN_EXPORT uint8 lean_string_validate_utf8(b_obj_arg a) {

Original file line number	Diff line number	Diff line change
`@@ -1952,8 +1952,10 @@ extern "C" LEAN_EXPORT obj_res lean_decode_lossy_utf8(b_obj_arg a) {`
`1952`	`1952`	`return lean_mk_string_from_bytes(reinterpret_cast<char *>(lean_sarray_cptr(a)), lean_sarray_size(a));`
`1953`	`1953`	`}`
`1954`	`1954`
`1955`		`-extern "C" LEAN_EXPORT obj_res lean_string_from_utf8_unchecked(b_obj_arg a) {`
`1956`		`- return lean_mk_string_from_bytes_unchecked(reinterpret_cast<char *>(lean_sarray_cptr(a)), lean_sarray_size(a));`
	`1955`	`+extern "C" LEAN_EXPORT obj_res lean_string_from_utf8_unchecked(obj_arg a) {`
	`1956`	`+ obj_res ret = lean_mk_string_from_bytes_unchecked(reinterpret_cast<char *>(lean_sarray_cptr(a)), lean_sarray_size(a));`
	`1957`	`+ lean_dec(a);`
	`1958`	`+ return ret;`
`1957`	`1959`	`}`
`1958`	`1960`
`1959`	`1961`	`extern "C" LEAN_EXPORT uint8 lean_string_validate_utf8(b_obj_arg a) {`