goscript 0.0.33 → 0.0.35

package/compiler/stmt.go

@@ -4,6 +4,7 @@ import (
 	"fmt"
 	"go/ast"
 	"go/token"
+	"go/types"
 	"strings"
 
 	"github.com/pkg/errors"
@@ -519,13 +520,17 @@ func (c *GoToTSCompiler) WriteStmtReturn(exp *ast.ReturnStmt) error {
 			}
 		}
 
-		if len(namedReturns) > 0 {
+		if len(namedReturns) == 1 {
+			// Single named return - don't wrap in array
+			c.tsw.WriteLiterally(c.sanitizeIdentifier(namedReturns[0]))
+		} else if len(namedReturns) > 1 {
+			// Multiple named returns - wrap in array
 			c.tsw.WriteLiterally("[")
 			for i, name := range namedReturns {
 				if i != 0 {
 					c.tsw.WriteLiterally(", ")
 				}
-				c.tsw.WriteLiterally(name)
+				c.tsw.WriteLiterally(c.sanitizeIdentifier(name))
 			}
 			c.tsw.WriteLiterally("]")
 		}
@@ -538,6 +543,25 @@ func (c *GoToTSCompiler) WriteStmtReturn(exp *ast.ReturnStmt) error {
 			if i != 0 {
 				c.tsw.WriteLiterally(", ")
 			}
+			// Special handling for nil in generic function returns
+			if ident, isIdent := res.(*ast.Ident); isIdent && ident.Name == "nil" {
+				// Check if we're in a generic function and get the return type
+				if nodeInfo := c.analysis.NodeData[exp]; nodeInfo != nil && nodeInfo.EnclosingFuncDecl != nil {
+					funcDecl := nodeInfo.EnclosingFuncDecl
+					if funcDecl.Type.Results != nil && i < len(funcDecl.Type.Results.List) {
+						// Get the return type for this result position
+						resultField := funcDecl.Type.Results.List[i]
+						if resultType := c.pkg.TypesInfo.TypeOf(resultField.Type); resultType != nil {
+							if _, isTypeParam := resultType.(*types.TypeParam); isTypeParam {
+								// This is a generic type parameter, use type assertion with unknown intermediate
+								c.tsw.WriteLiterally("null as unknown as ")
+								c.WriteGoType(resultType, GoTypeContextFunctionReturn)
+								continue
+							}
+						}
+					}
+				}
+			}
 			if err := c.WriteValueExpr(res); err != nil { // Return results are values
 				return err
 			}
@@ -829,15 +853,28 @@ func (c *GoToTSCompiler) WriteStmtDefer(exp *ast.DeferStmt) error {
 }
 
 // WriteStmtLabeled handles labeled statements (ast.LabeledStmt), such as "label: statement".
-// In TypeScript, this translates to "label: statement" directly.
+// In TypeScript, labels cannot be used with variable declarations, so we need to handle this case specially.
 func (c *GoToTSCompiler) WriteStmtLabeled(stmt *ast.LabeledStmt) error {
-	// Write the label name followed by a colon
-	c.tsw.WriteLiterally(stmt.Label.Name)
-	c.tsw.WriteLiterally(": ")
+	// Check if the labeled statement is a declaration statement
+	if declStmt, ok := stmt.Stmt.(*ast.DeclStmt); ok {
+		// For declaration statements, we need to put the label on a separate line
+		// because TypeScript doesn't allow labels with declarations
+		c.tsw.WriteLiterally(stmt.Label.Name)
+		c.tsw.WriteLine(": {}")
+
+		// Write the declaration statement without the label
+		if err := c.WriteStmt(declStmt); err != nil {
+			return fmt.Errorf("failed to write labeled declaration statement: %w", err)
+		}
+	} else {
+		// For non-declaration statements, write the label normally
+		c.tsw.WriteLiterally(stmt.Label.Name)
+		c.tsw.WriteLiterally(": ")
 
-	// Write the labeled statement
-	if err := c.WriteStmt(stmt.Stmt); err != nil {
-		return fmt.Errorf("failed to write labeled statement: %w", err)
+		// Write the labeled statement
+		if err := c.WriteStmt(stmt.Stmt); err != nil {
+			return fmt.Errorf("failed to write labeled statement: %w", err)
+		}
 	}
 
 	return nil

package/compiler/type.go

@@ -3,6 +3,7 @@ package compiler
 import (
 	"fmt"
 	"go/ast"
+	"go/token"
 	"go/types"
 	"strings"
 )
@@ -67,7 +68,8 @@ func (c *GoToTSCompiler) WriteGoType(typ types.Type, context GoTypeContext) {
 		c.WriteGoType(t.Underlying(), context)
 	case *types.TypeParam:
 		// For type parameters, write the type parameter name (e.g., "T", "K", etc.)
-		c.tsw.WriteLiterally(t.Obj().Name())
+		// Use sanitizeIdentifier to handle conflicts with TypeScript built-in types
+		c.tsw.WriteLiterally(c.sanitizeIdentifier(t.Obj().Name()))
 	case *types.Union:
 		// Handle union types (e.g., string | []byte)
 		for i := 0; i < t.Len(); i++ {
@@ -171,9 +173,9 @@ func (c *GoToTSCompiler) WriteZeroValueForType(typ any) {
 		// For anonymous struct types, initialize with {}
 		c.tsw.WriteLiterally("{}")
 	case *types.TypeParam:
-		// For type parameters, use null! (non-null assertion) to avoid TypeScript
-		// casting errors with union types like string | Uint8Array
-		c.tsw.WriteLiterally("null!")
+		// For type parameters, use null with type assertion to work around TypeScript's strict checking
+		// This allows null to be assigned to generic type parameters even when the constraint doesn't explicitly include null
+		c.tsw.WriteLiterally("null as any")
 	default:
 		c.tsw.WriteLiterally("null")
 	}
@@ -311,7 +313,7 @@ func (c *GoToTSCompiler) WritePointerType(t *types.Pointer, context GoTypeContex
 func (c *GoToTSCompiler) WriteSliceType(t *types.Slice) {
 	// Check if it's a []byte slice
 	if elem, ok := t.Elem().(*types.Basic); ok && elem.Kind() == types.Uint8 {
-		c.tsw.WriteLiterally("Uint8Array")
+		c.tsw.WriteLiterally("$.Bytes")
 		return
 	}
 	c.tsw.WriteLiterally("$.Slice<")
@@ -367,12 +369,12 @@ func (c *GoToTSCompiler) WriteFuncType(exp *ast.FuncType, isAsync bool) {
 		if isAsync {
 			c.tsw.WriteLiterally("Promise<")
 		}
-		if len(exp.Results.List) == 1 && len(exp.Results.List[0].Names) == 0 {
-			// Single unnamed return type
+		if len(exp.Results.List) == 1 {
+			// Single return type (named or unnamed)
 			typ := c.pkg.TypesInfo.TypeOf(exp.Results.List[0].Type)
 			c.WriteGoType(typ, GoTypeContextFunctionReturn)
 		} else {
-			// Multiple or named return types -> tuple
+			// Multiple return types -> tuple
 			c.tsw.WriteLiterally("[")
 			for i, field := range exp.Results.List {
 				if i > 0 {
@@ -629,7 +631,8 @@ func (c *GoToTSCompiler) WriteTypeParameters(typeParams *ast.FieldList) {
 			if j > 0 {
 				c.tsw.WriteLiterally(", ")
 			}
-			c.tsw.WriteLiterally(name.Name)
+			// Use sanitizeIdentifier to handle conflicts with TypeScript built-in types
+			c.tsw.WriteLiterally(c.sanitizeIdentifier(name.Name))
 
 			// Write constraint if present
 			if field.Type != nil {
@@ -661,7 +664,7 @@ func (c *GoToTSCompiler) WriteTypeConstraint(constraint ast.Expr) {
 		}
 	case *ast.BinaryExpr:
 		// Handle union types like []byte | string
-		if t.Op.String() == "|" {
+		if t.Op == token.OR {
 			c.WriteTypeConstraint(t.X)
 			c.tsw.WriteLiterally(" | ")
 			c.WriteTypeConstraint(t.Y)
@@ -675,7 +678,7 @@ func (c *GoToTSCompiler) WriteTypeConstraint(constraint ast.Expr) {
 	case *ast.ArrayType:
 		// Handle []byte specifically
 		if ident, ok := t.Elt.(*ast.Ident); ok && ident.Name == "byte" {
-			c.tsw.WriteLiterally("Uint8Array")
+			c.tsw.WriteLiterally("$.Bytes")
 		} else {
 			c.WriteTypeExpr(constraint)
 		}

package/dist/gs/builtin/builtin.d.ts

@@ -5,6 +5,8 @@ export * from './io.js';
 export * from './map.js';
 export * from './slice.js';
 export * from './type.js';
+import type { Slice } from './slice.js';
+export type Bytes = Uint8Array | Slice<number>;
 export declare function int(value: number): number;
 export declare function copy<T>(dst: T[] | Uint8Array, src: T[] | Uint8Array | string): number;
 export declare function multiplyDuration(duration: any, multiplier: number): any;
@@ -26,3 +28,9 @@ export declare function normalizeBytes(bytes: Uint8Array | number[] | null | und
 } | {
     valueOf(): number[];
 }): Uint8Array;
+/**
+ * sortSlice sorts a slice in ascending order.
+ * Handles all slice types including null, arrays, Uint8Array, and SliceProxy.
+ * @param s The slice to sort in place
+ */
+export declare function sortSlice<T extends string | number>(s: Slice<T>): void;

package/dist/gs/builtin/builtin.js

@@ -5,6 +5,7 @@ export * from './io.js';
 export * from './map.js';
 export * from './slice.js';
 export * from './type.js';
+import { isSliceProxy } from './slice.js';
 // int converts a value to a Go int type, handling proper signed integer conversion
 // This ensures that values like 2147483648 (2^31) are properly handled according to Go semantics
 export function int(value) {
@@ -134,4 +135,34 @@ export function normalizeBytes(bytes) {
     }
     throw new Error(`Cannot normalize bytes of type ${typeof bytes}: ${bytes}`);
 }
+/**
+ * sortSlice sorts a slice in ascending order.
+ * Handles all slice types including null, arrays, Uint8Array, and SliceProxy.
+ * @param s The slice to sort in place
+ */
+export function sortSlice(s) {
+    if (s === null || s === undefined) {
+        return; // Nothing to sort for nil slice
+    }
+    if (Array.isArray(s)) {
+        s.sort();
+        return;
+    }
+    if (s instanceof Uint8Array) {
+        s.sort();
+        return;
+    }
+    // Handle SliceProxy case - sort the backing array in-place within the slice bounds
+    if (isSliceProxy(s)) {
+        const proxy = s;
+        const meta = proxy.__meta__;
+        const section = meta.backing.slice(meta.offset, meta.offset + meta.length);
+        section.sort();
+        // Copy sorted section back to the backing array
+        for (let i = 0; i < section.length; i++) {
+            meta.backing[meta.offset + i] = section[i];
+        }
+        return;
+    }
+}
 //# sourceMappingURL=builtin.js.map

package/dist/gs/builtin/builtin.js.map

@@ -1 +1 @@
-{"version":3,"file":"builtin.js","sourceRoot":"","sources":["../../../gs/builtin/builtin.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA;AAC5B,cAAc,YAAY,CAAA;AAC1B,cAAc,SAAS,CAAA;AACvB,cAAc,UAAU,CAAA;AACxB,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AAEzB,mFAAmF;AACnF,iGAAiG;AACjG,MAAM,UAAU,GAAG,CAAC,KAAa;IAC/B,0FAA0F;IAC1F,wFAAwF;IACxF,6FAA6F;IAC7F,kDAAkD;IAElD,yEAAyE;IACzE,uFAAuF;IACvF,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;AAC1B,CAAC;AAED,oFAAoF;AACpF,4CAA4C;AAC5C,MAAM,UAAU,IAAI,CAClB,GAAqB,EACrB,GAA8B;IAE9B,kDAAkD;IAClD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;QACzD,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAA;QACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,GAAG,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;QACtB,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,uCAAuC;IACvC,IAAI,GAAG,YAAY,UAAU,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;QAC3D,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QACjB,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,uDAAuD;IACvD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QACjB,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,oDAAoD;IACpD,IAAI,GAAG,YAAY,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAW,CAAA;QAC3B,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAM,CAAA;QACtB,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,MAAM,IAAI,KAAK,CACb,sCAAsC,OAAO,GAAG,QAAQ,OAAO,GAAG,EAAE,CACrE,CAAA;AACH,CAAC;AAED,6DAA6D;AAC7D,0CAA0C;AAC1C,MAAM,UAAU,gBAAgB,CAAC,QAAa,EAAE,UAAkB;IAChE,oEAAoE;IACpE,IAAI,QAAQ,IAAI,OAAO,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACxD,OAAO,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;IACtC,CAAC;IAED,gEAAgE;IAChE,IAAI,QAAQ,IAAI,OAAO,QAAQ,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAA;QACnC,gEAAgE;QAChE,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACjC,gDAAgD;YAChD,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;gBACzB,OAAO,IAAI,QAAQ,CAAC,WAAW,CAAC,QAAQ,GAAG,UAAU,CAAC,CAAA;YACxD,CAAC;YACD,gDAAgD;YAChD,OAAO;gBACL,OAAO,EAAE,GAAG,EAAE,CAAC,QAAQ,GAAG,UAAU;gBACpC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC,CAAC,QAAQ,EAAE,GAAG,IAAI;aAC1D,CAAA;QACH,CAAC;IACH,CAAC;IAED,qCAAqC;IACrC,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,QAAQ,GAAG,UAAU,CAAA;IAC9B,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,oCAAoC,OAAO,QAAQ,EAAE,CAAC,CAAA;AACxE,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAC5B,KAM2B;IAE3B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC1C,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,CAAA;IAC1B,CAAC;IAED,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;QAChC,OAAO,KAAK,CAAA;IACd,CAAC;IAED,wEAAwE;IACxE,IACE,KAAK;QACL,OAAO,KAAK,KAAK,QAAQ;QACzB,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EACzB,CAAC;QACD,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACnC,CAAC;IAED,6BAA6B;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAED,mEAAmE;IACnE,IACE,KAAK;QACL,OAAO,KAAK,KAAK,QAAQ;QACzB,SAAS,IAAI,KAAK;QAClB,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,EACnC,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,CAAA;QAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,CAAA;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,kCAAkC,OAAO,KAAK,KAAK,KAAK,EAAE,CAAC,CAAA;AAC7E,CAAC"}
+{"version":3,"file":"builtin.js","sourceRoot":"","sources":["../../../gs/builtin/builtin.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA;AAC5B,cAAc,YAAY,CAAA;AAC1B,cAAc,SAAS,CAAA;AACvB,cAAc,UAAU,CAAA;AACxB,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AAEzB,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAMzC,mFAAmF;AACnF,iGAAiG;AACjG,MAAM,UAAU,GAAG,CAAC,KAAa;IAC/B,0FAA0F;IAC1F,wFAAwF;IACxF,6FAA6F;IAC7F,kDAAkD;IAElD,yEAAyE;IACzE,uFAAuF;IACvF,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;AAC1B,CAAC;AAED,oFAAoF;AACpF,4CAA4C;AAC5C,MAAM,UAAU,IAAI,CAClB,GAAqB,EACrB,GAA8B;IAE9B,kDAAkD;IAClD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;QACzD,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAA;QACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,GAAG,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;QACtB,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,uCAAuC;IACvC,IAAI,GAAG,YAAY,UAAU,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;QAC3D,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QACjB,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,uDAAuD;IACvD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QACjB,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,oDAAoD;IACpD,IAAI,GAAG,YAAY,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAW,CAAA;QAC3B,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAM,CAAA;QACtB,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,MAAM,IAAI,KAAK,CACb,sCAAsC,OAAO,GAAG,QAAQ,OAAO,GAAG,EAAE,CACrE,CAAA;AACH,CAAC;AAED,6DAA6D;AAC7D,0CAA0C;AAC1C,MAAM,UAAU,gBAAgB,CAAC,QAAa,EAAE,UAAkB;IAChE,oEAAoE;IACpE,IAAI,QAAQ,IAAI,OAAO,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACxD,OAAO,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;IACtC,CAAC;IAED,gEAAgE;IAChE,IAAI,QAAQ,IAAI,OAAO,QAAQ,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAA;QACnC,gEAAgE;QAChE,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACjC,gDAAgD;YAChD,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;gBACzB,OAAO,IAAI,QAAQ,CAAC,WAAW,CAAC,QAAQ,GAAG,UAAU,CAAC,CAAA;YACxD,CAAC;YACD,gDAAgD;YAChD,OAAO;gBACL,OAAO,EAAE,GAAG,EAAE,CAAC,QAAQ,GAAG,UAAU;gBACpC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC,CAAC,QAAQ,EAAE,GAAG,IAAI;aAC1D,CAAA;QACH,CAAC;IACH,CAAC;IAED,qCAAqC;IACrC,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,QAAQ,GAAG,UAAU,CAAA;IAC9B,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,oCAAoC,OAAO,QAAQ,EAAE,CAAC,CAAA;AACxE,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAC5B,KAM2B;IAE3B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC1C,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,CAAA;IAC1B,CAAC;IAED,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;QAChC,OAAO,KAAK,CAAA;IACd,CAAC;IAED,wEAAwE;IACxE,IACE,KAAK;QACL,OAAO,KAAK,KAAK,QAAQ;QACzB,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EACzB,CAAC;QACD,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACnC,CAAC;IAED,6BAA6B;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAED,mEAAmE;IACnE,IACE,KAAK;QACL,OAAO,KAAK,KAAK,QAAQ;QACzB,SAAS,IAAI,KAAK;QAClB,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,EACnC,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,CAAA;QAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,CAAA;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,kCAAkC,OAAO,KAAK,KAAK,KAAK,EAAE,CAAC,CAAA;AAC7E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAA4B,CAAW;IAC9D,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QAClC,OAAM,CAAC,gCAAgC;IACzC,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,EAAE,CAAA;QACR,OAAM;IACR,CAAC;IAED,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;QAC5B,CAAC,CAAC,IAAI,EAAE,CAAA;QACR,OAAM;IACR,CAAC;IAED,mFAAmF;IACnF,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,CAAkB,CAAA;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAA;QAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAA;QAC1E,OAAO,CAAC,IAAI,EAAE,CAAA;QACd,gDAAgD;QAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;QAC5C,CAAC;QACD,OAAM;IACR,CAAC;AACH,CAAC"}

package/dist/gs/builtin/map.d.ts

@@ -4,13 +4,13 @@
  */
 export declare const makeMap: <K, V>() => Map<K, V>;
 /**
- * Gets a value from a map, with a default value if the key doesn't exist.
+ * Gets a value from a map, returning a tuple [value, exists].
  * @param map The map to get from.
  * @param key The key to get.
- * @param defaultValue The default value to return if the key doesn't exist (defaults to 0).
- * @returns The value for the key, or the default value if the key doesn't exist.
+ * @param defaultValue The default value to return if the key doesn't exist.
+ * @returns A tuple [value, exists] where value is the map value or defaultValue, and exists is whether the key was found.
  */
-export declare const mapGet: <K, V>(map: Map<K, V>, key: K, defaultValue?: V | null) => V | null;
+export declare function mapGet<K, V, D>(map: Map<K, V>, key: K, defaultValue: D): [V, true] | [D, false];
 /**
  * Sets a value in a map.
  * @param map The map to set in.

package/dist/gs/builtin/map.js

@@ -6,15 +6,21 @@ export const makeMap = () => {
     return new Map();
 };
 /**
- * Gets a value from a map, with a default value if the key doesn't exist.
+ * Gets a value from a map, returning a tuple [value, exists].
  * @param map The map to get from.
  * @param key The key to get.
- * @param defaultValue The default value to return if the key doesn't exist (defaults to 0).
- * @returns The value for the key, or the default value if the key doesn't exist.
+ * @param defaultValue The default value to return if the key doesn't exist.
+ * @returns A tuple [value, exists] where value is the map value or defaultValue, and exists is whether the key was found.
  */
-export const mapGet = (map, key, defaultValue = null) => {
-    return map.has(key) ? map.get(key) : defaultValue;
-};
+export function mapGet(map, key, defaultValue) {
+    const exists = map.has(key);
+    if (exists) {
+        return [map.get(key), true];
+    }
+    else {
+        return [defaultValue, false];
+    }
+}
 /**
  * Sets a value in a map.
  * @param map The map to set in.

package/dist/gs/builtin/map.js.map

@@ -1 +1 @@
-{"version":3,"file":"map.js","sourceRoot":"","sources":["../../../gs/builtin/map.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,GAAoB,EAAE;IAC3C,OAAO,IAAI,GAAG,EAAQ,CAAA;AACxB,CAAC,CAAA;AACD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,GAAc,EACd,GAAM,EACN,eAAyB,IAAI,EACnB,EAAE;IACZ,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,CAAC,CAAC,YAAY,CAAA;AACpD,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAO,GAAc,EAAE,GAAM,EAAE,KAAQ,EAAQ,EAAE;IACrE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;AACrB,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAO,GAAc,EAAE,GAAM,EAAQ,EAAE;IACnE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;AACjB,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAO,GAAc,EAAE,GAAM,EAAW,EAAE;IAC9D,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACrB,CAAC,CAAA"}
+{"version":3,"file":"map.js","sourceRoot":"","sources":["../../../gs/builtin/map.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,GAAoB,EAAE;IAC3C,OAAO,IAAI,GAAG,EAAQ,CAAA;AACxB,CAAC,CAAA;AACD;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CACpB,GAAc,EACd,GAAM,EACN,YAAe;IAEf,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC3B,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,IAAI,CAAC,CAAA;IAC9B,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,YAAY,EAAE,KAAK,CAAC,CAAA;IAC9B,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAO,GAAc,EAAE,GAAM,EAAE,KAAQ,EAAQ,EAAE;IACrE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;AACrB,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAO,GAAc,EAAE,GAAM,EAAQ,EAAE;IACnE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;AACjB,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAO,GAAc,EAAE,GAAM,EAAW,EAAE;IAC9D,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACrB,CAAC,CAAA"}

package/dist/gs/builtin/slice.d.ts

@@ -21,6 +21,11 @@ export type SliceProxy<T> = T[] & {
  */
 export type Slice<T> = T[] | SliceProxy<T> | null | (T extends number ? Uint8Array : never);
 export declare function asArray<T>(slice: Slice<T>): T[];
+/**
+ * isSliceProxy checks if a slice is a SliceProxy (has __meta__ property)
+ * This is an alias for isComplexSlice for better type hinting
+ */
+export declare function isSliceProxy<T>(slice: Slice<T>): slice is SliceProxy<T>;
 /**
  * Creates a new slice with the specified length and capacity.
  * @param length The length of the slice.
@@ -67,7 +72,8 @@ export declare const cap: <T>(obj: Slice<T> | Uint8Array) => number;
  * @param elements The elements to append.
  * @returns The modified or new slice.
  */
-export declare const append: <T>(slice: Slice<T> | Uint8Array, ...elements: any[]) => Slice<T>;
+export declare function append(slice: Uint8Array, ...elements: any[]): Uint8Array;
+export declare function append<T>(slice: Slice<T>, ...elements: any[]): Slice<T>;
 /**
  * Copies elements from src to dst.
  * @param dst The destination slice.
@@ -152,22 +158,22 @@ export declare function stringToBytes(s: string): Uint8Array;
  */
 export declare function genericBytesOrStringToString(value: string | Uint8Array): string;
 /**
- * Indexes into a value that could be either a string or Uint8Array.
+ * Indexes into a value that could be either a string or bytes.
  * Used for generic type parameters with constraint string | []byte.
  * Both cases return a byte value (number).
- * @param value Value that is either a string or Uint8Array
+ * @param value Value that is either a string or bytes (Uint8Array or Slice<number>)
  * @param index The index to access
  * @returns The byte value at the specified index
  */
-export declare function indexStringOrBytes(value: string | Uint8Array, index: number): number;
+export declare function indexStringOrBytes(value: string | import('./builtin.js').Bytes, index: number): number;
 /**
- * Slices a value that could be either a string or Uint8Array.
+ * Slices a value that could be either a string or bytes.
  * Used for generic type parameters with constraint string | []byte.
- * @param value Value that is either a string or Uint8Array
+ * @param value Value that is either a string or bytes (Uint8Array or Slice<number>)
  * @param low Starting index (inclusive). Defaults to 0.
  * @param high Ending index (exclusive). Defaults to length.
- * @param max Capacity limit (only used for Uint8Array, ignored for strings)
+ * @param max Capacity limit (only used for bytes, ignored for strings)
  * @returns The sliced value of the same type as input
  */
-export declare function sliceStringOrBytes<T extends string | Uint8Array>(value: T, low?: number, high?: number, max?: number): T;
+export declare function sliceStringOrBytes<T extends string | import('./builtin.js').Bytes>(value: T, low?: number, high?: number, max?: number): T;
 export {};

package/dist/gs/builtin/slice.js

@@ -28,6 +28,13 @@ function isComplexSlice(slice) {
         '__meta__' in slice &&
         slice.__meta__ !== undefined);
 }
+/**
+ * isSliceProxy checks if a slice is a SliceProxy (has __meta__ property)
+ * This is an alias for isComplexSlice for better type hinting
+ */
+export function isSliceProxy(slice) {
+    return isComplexSlice(slice);
+}
 /**
  * Creates a new slice with the specified length and capacity.
  * @param length The length of the slice.
@@ -36,9 +43,63 @@ function isComplexSlice(slice) {
  */
 export const makeSlice = (length, capacity, typeHint) => {
     if (typeHint === 'byte') {
-        // Uint8Array is initialized to zeros by default.
-        // Capacity for Uint8Array is its length.
-        return new Uint8Array(length);
+        const actualCapacity = capacity === undefined ? length : capacity;
+        if (length < 0 || actualCapacity < 0 || length > actualCapacity) {
+            throw new Error(`Invalid slice length (${length}) or capacity (${actualCapacity})`);
+        }
+        // If capacity equals length, use Uint8Array directly for efficiency
+        if (actualCapacity === length) {
+            return new Uint8Array(length);
+        }
+        // If capacity > length, create a SliceProxy backed by a Uint8Array
+        const backingUint8 = new Uint8Array(actualCapacity);
+        const backingNumbers = Array.from(backingUint8); // Convert to number[] for backing
+        const proxyTargetArray = new Array(length);
+        for (let i = 0; i < length; i++) {
+            proxyTargetArray[i] = 0; // Initialize with zeros
+        }
+        const proxy = proxyTargetArray;
+        proxy.__meta__ = {
+            backing: backingNumbers,
+            offset: 0,
+            length: length,
+            capacity: actualCapacity,
+        };
+        // Create a proper Proxy with the handler for SliceProxy behavior
+        const handler = {
+            get(target, prop) {
+                if (typeof prop === 'string' && /^\d+$/.test(prop)) {
+                    const index = Number(prop);
+                    if (index >= 0 && index < target.__meta__.length) {
+                        return target.__meta__.backing[target.__meta__.offset + index];
+                    }
+                    throw new Error(`Slice index out of range: ${index} >= ${target.__meta__.length}`);
+                }
+                if (prop === 'length') {
+                    return target.__meta__.length;
+                }
+                if (prop === '__meta__') {
+                    return target.__meta__;
+                }
+                return Reflect.get(target, prop);
+            },
+            set(target, prop, value) {
+                if (typeof prop === 'string' && /^\d+$/.test(prop)) {
+                    const index = Number(prop);
+                    if (index >= 0 && index < target.__meta__.length) {
+                        target.__meta__.backing[target.__meta__.offset + index] = value;
+                        target[index] = value; // Also update the proxy target for consistency
+                        return true;
+                    }
+                    throw new Error(`Slice index out of range: ${index} >= ${target.__meta__.length}`);
+                }
+                if (prop === 'length' || prop === '__meta__') {
+                    return false;
+                }
+                return Reflect.set(target, prop, value);
+            },
+        };
+        return new Proxy(proxy, handler);
     }
     const actualCapacity = capacity === undefined ? length : capacity;
     if (length < 0 || actualCapacity < 0 || length > actualCapacity) {
@@ -78,7 +139,41 @@ export const makeSlice = (length, capacity, typeHint) => {
         length: length,
         capacity: actualCapacity,
     };
-    return proxy;
+    // Create a proper Proxy with the handler for SliceProxy behavior
+    const handler = {
+        get(target, prop) {
+            if (typeof prop === 'string' && /^\d+$/.test(prop)) {
+                const index = Number(prop);
+                if (index >= 0 && index < target.__meta__.length) {
+                    return target.__meta__.backing[target.__meta__.offset + index];
+                }
+                throw new Error(`Slice index out of range: ${index} >= ${target.__meta__.length}`);
+            }
+            if (prop === 'length') {
+                return target.__meta__.length;
+            }
+            if (prop === '__meta__') {
+                return target.__meta__;
+            }
+            return Reflect.get(target, prop);
+        },
+        set(target, prop, value) {
+            if (typeof prop === 'string' && /^\d+$/.test(prop)) {
+                const index = Number(prop);
+                if (index >= 0 && index < target.__meta__.length) {
+                    target.__meta__.backing[target.__meta__.offset + index] = value;
+                    target[index] = value; // Also update the proxy target for consistency
+                    return true;
+                }
+                throw new Error(`Slice index out of range: ${index} >= ${target.__meta__.length}`);
+            }
+            if (prop === 'length' || prop === '__meta__') {
+                return false;
+            }
+            return Reflect.set(target, prop, value);
+        },
+    };
+    return new Proxy(proxy, handler);
 };
 /**
  * goSlice creates a slice from s[low:high:max]
@@ -234,16 +329,19 @@ s, low, high, max) => {
     }
     const newLength = high - low;
     const newOffset = oldOffset + low;
-    const target = {
-        __meta__: {
-            backing: backing,
-            offset: newOffset,
-            length: newLength,
-            capacity: newCap,
-        },
+    // Create an array-like target with the correct length
+    const proxyTargetArray = new Array(newLength);
+    // Note: We don't need to initialize the values here since the proxy handler
+    // will fetch them from the backing array when accessed
+    const proxy = proxyTargetArray;
+    proxy.__meta__ = {
+        backing: backing,
+        offset: newOffset,
+        length: newLength,
+        capacity: newCap,
     };
     // const handler = { ... } // Handler is now defined at the top
-    return new Proxy(target, handler);
+    return new Proxy(proxy, handler);
 };
 /**
  * Converts a JavaScript array to a Go slice.
@@ -369,15 +467,7 @@ export const cap = (obj) => {
     }
     return 0;
 };
-/**
- * Appends elements to a slice.
- * Note: In Go, append can return a new slice if the underlying array is reallocated.
- * This helper emulates that by returning the modified or new slice.
- * @param slice The slice to append to.
- * @param elements The elements to append.
- * @returns The modified or new slice.
- */
-export const append = (slice, ...elements) => {
+export function append(slice, ...elements) {
     // 1. Flatten all elements from the varargs `...elements` into `varargsElements`.
     // Determine if the result should be a Uint8Array.
     const inputIsUint8Array = slice instanceof Uint8Array;
@@ -508,7 +598,7 @@ export const append = (slice, ...elements) => {
         capacity: newCapacity,
     };
     return resultProxy;
-};
+}
 /**
  * Copies elements from src to dst.
  * @param dst The destination slice.
@@ -730,8 +820,7 @@ export const sliceString = (str, low, high) => {
         const result = new TextDecoder('utf-8', { fatal: true }).decode(slicedBytes);
         return result;
     }
-    catch (_e) {
-        //eslint-disable-line @typescript-eslint/no-unused-vars
+    catch (_e) { //eslint-disable-line @typescript-eslint/no-unused-vars
         // If we get here, the slice would create invalid UTF-8
         // This is a fundamental limitation of JavaScript string handling
         throw new Error(`Cannot slice string at byte indices [${actualLow}:${actualHigh}] because it would create invalid UTF-8. ` +
@@ -785,10 +874,10 @@ export function genericBytesOrStringToString(value) {
     return bytesToString(value);
 }
 /**
- * Indexes into a value that could be either a string or Uint8Array.
+ * Indexes into a value that could be either a string or bytes.
  * Used for generic type parameters with constraint string | []byte.
  * Both cases return a byte value (number).
- * @param value Value that is either a string or Uint8Array
+ * @param value Value that is either a string or bytes (Uint8Array or Slice<number>)
  * @param index The index to access
  * @returns The byte value at the specified index
  */
@@ -796,21 +885,32 @@ export function indexStringOrBytes(value, index) {
     if (typeof value === 'string') {
         return indexString(value, index);
     }
-    else {
+    else if (value instanceof Uint8Array) {
         // For Uint8Array, direct access returns the byte value
         if (index < 0 || index >= value.length) {
             throw new Error(`runtime error: index out of range [${index}] with length ${value.length}`);
         }
         return value[index];
     }
+    else if (value === null) {
+        throw new Error(`runtime error: index out of range [${index}] with length 0`);
+    }
+    else {
+        // For Slice<number> (including SliceProxy)
+        const length = len(value);
+        if (index < 0 || index >= length) {
+            throw new Error(`runtime error: index out of range [${index}] with length ${length}`);
+        }
+        return value[index];
+    }
 }
 /**
- * Slices a value that could be either a string or Uint8Array.
+ * Slices a value that could be either a string or bytes.
  * Used for generic type parameters with constraint string | []byte.
- * @param value Value that is either a string or Uint8Array
+ * @param value Value that is either a string or bytes (Uint8Array or Slice<number>)
  * @param low Starting index (inclusive). Defaults to 0.
  * @param high Ending index (exclusive). Defaults to length.
- * @param max Capacity limit (only used for Uint8Array, ignored for strings)
+ * @param max Capacity limit (only used for bytes, ignored for strings)
  * @returns The sliced value of the same type as input
  */
 export function sliceStringOrBytes(value, low, high, max) {
@@ -819,7 +919,7 @@ export function sliceStringOrBytes(value, low, high, max) {
         return sliceString(value, low, high);
     }
     else {
-        // For Uint8Array, use goSlice
+        // For bytes (Uint8Array or Slice<number>), use goSlice
         return goSlice(value, low, high, max);
     }
 }