goscript 0.0.73 → 0.0.75

package/README.md

@@ -36,14 +36,18 @@ Go has powerful concurrency support and an excellent standard library. GoScript
 - Control flow (if, for, switch, select, range, defer, etc.)
 - Type assertions and interface implementations
 - Closures and anonymous functions
+- Generics
+- Reflection
+- Encoding: encoding/json
+- Most of the standard library
 
 **🚧 In progress:**
 
-- Reflection support
-- Standard library coverage
-- Generics
+- Reflection edge cases
+- Full standard library coverage
+- Various other edge cases (see GitHub issues)
 
-**Known limitations:**
+**Important Notes**
 
 - Uses JavaScript `number` type (64-bit float, not Go's int types)
 - No pointer arithmetic (`uintptr`) or `unsafe` package

package/compiler/compiler.go

@@ -1003,8 +1003,12 @@ func (c *GoToTSCompiler) WriteCaseClause(exp *ast.CaseClause) error {
 			return fmt.Errorf("failed to write statement in case clause body: %w", err)
 		}
 	}
-	// Add break statement (Go's switch has implicit breaks, TS needs explicit break)
-	c.tsw.WriteLine("break")
+	// Add break statement only if the case body doesn't end with a terminating statement
+	// (return, panic, continue, break, goto, fallthrough). Go's switch has implicit breaks,
+	// but TS needs explicit break - however, adding break after return is unreachable code.
+	if !endsWithTerminatingStmt(exp.Body) {
+		c.tsw.WriteLine("break")
+	}
 	c.tsw.Indent(-1)
 	c.tsw.WriteLine("}")
 	return nil

package/compiler/decl.go

@@ -216,12 +216,10 @@ func (c *GoToTSCompiler) extractTypeDependencies(typeExpr ast.Expr, typeSpecMap
 		}
 
 	case *ast.ArrayType:
-		// Array/slice type - only depends on element type if element is a struct (not pointer)
-		if !c.isPointerType(t.Elt) {
-			elemDeps := c.extractTypeDependencies(t.Elt, typeSpecMap)
-			deps = append(deps, elemDeps...)
-		}
-		// Arrays of pointers don't create initialization dependencies
+		// Array/slice types don't create initialization dependencies
+		// Slices are reference types (initialized to null/empty), and arrays of structs
+		// don't require the element type constructor at declaration time.
+		// This allows circular references like: type A struct { BB []B }; type B struct { AA []A }
 
 	case *ast.StarExpr:
 		// Pointer types don't create initialization dependencies
@@ -264,12 +262,10 @@ func (c *GoToTSCompiler) extractStructFieldDependencies(fieldType ast.Expr, type
 		// Pointers are just references, no constructor call needed
 
 	case *ast.ArrayType:
-		// Array field: struct { b []B } or struct { b [5]B }
-		// Only create dependency if element type is not a pointer
-		if !c.isPointerType(t.Elt) {
-			elemDeps := c.extractTypeDependencies(t.Elt, typeSpecMap)
-			deps = append(deps, elemDeps...)
-		}
+		// Array/slice fields don't create initialization dependencies
+		// Slices are reference types (initialized to null/empty), and arrays of structs
+		// don't require the element type constructor at declaration time.
+		// This allows circular references like: type A struct { BB []B }; type B struct { AA []A }
 
 	case *ast.MapType:
 		// Map field: struct { b map[K]V } - maps don't require initialization dependencies

package/compiler/stmt.go

@@ -1275,3 +1275,34 @@ func (c *GoToTSCompiler) needsDefensiveSemicolon(expr ast.Expr) bool {
 	}
 	return false
 }
+
+// isTerminatingStmt checks if a statement terminates control flow, meaning
+// code after it would be unreachable. This includes return, panic, continue,
+// break, goto, and fallthrough statements.
+func isTerminatingStmt(stmt ast.Stmt) bool {
+	switch s := stmt.(type) {
+	case *ast.ReturnStmt:
+		return true
+	case *ast.BranchStmt:
+		// break, continue, goto, fallthrough all terminate the current block
+		return true
+	case *ast.ExprStmt:
+		// Check for panic() calls
+		if call, ok := s.X.(*ast.CallExpr); ok {
+			if ident, ok := call.Fun.(*ast.Ident); ok {
+				if ident.Name == "panic" {
+					return true
+				}
+			}
+		}
+	}
+	return false
+}
+
+// endsWithTerminatingStmt checks if a statement list ends with a terminating statement.
+func endsWithTerminatingStmt(stmts []ast.Stmt) bool {
+	if len(stmts) == 0 {
+		return false
+	}
+	return isTerminatingStmt(stmts[len(stmts)-1])
+}

package/go.mod

@@ -7,7 +7,7 @@ require (
 	github.com/aperturerobotics/protobuf-go-lite v0.11.0
 	github.com/aperturerobotics/util v1.32.0
 	github.com/pkg/errors v0.9.1
-	github.com/sirupsen/logrus v1.9.3
+	github.com/sirupsen/logrus v1.9.4
 	golang.org/x/mod v0.32.0
 	golang.org/x/tools v0.41.0
 )

package/go.sum

@@ -8,7 +8,6 @@ github.com/aperturerobotics/protobuf-go-lite v0.11.0 h1:IAaZISqrEpodqECYxk0yKWgR
 github.com/aperturerobotics/protobuf-go-lite v0.11.0/go.mod h1:c4kGy7Dkfz6B1m0t4QBIMQoNeQ7m+nYj3Qxxnlwhygo=
 github.com/aperturerobotics/util v1.32.0 h1:6gIx5zt1/cOpyH5Wq+im3yNLnRncsfw9PupHNQsy8c0=
 github.com/aperturerobotics/util v1.32.0/go.mod h1:Aufy+WeKncuhc1L2yEg+QxRhb8uVnGBprPyTubaDxLw=
-github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
 github.com/davecgh/go-spew v1.1.1 h1:vj9j/u1bqnvCEfJOwUhtlOARqs3+rkHYY13jYWTU97c=
 github.com/davecgh/go-spew v1.1.1/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
 github.com/google/go-cmp v0.7.0 h1:wk8382ETsv4JYUZwIsn6YpYiWiBsYLSJiTsyBybVuN8=
@@ -17,10 +16,8 @@ github.com/pkg/errors v0.9.1 h1:FEBLx1zS214owpjy7qsBeixbURkuhQAwrK5UwLGTwt4=
 github.com/pkg/errors v0.9.1/go.mod h1:bwawxfHBFNV+L2hUp1rHADufV3IMtnDRdf1r5NINEl0=
 github.com/pmezard/go-difflib v1.0.0 h1:4DBwDE0NGyQoBHbLQYPwSUPoCMWR5BEzIk/f1lZbAQM=
 github.com/pmezard/go-difflib v1.0.0/go.mod h1:iKH77koFhYxTK1pcRnkKkqfTogsbg7gZNVY4sRDYZ/4=
-github.com/sirupsen/logrus v1.9.3 h1:dueUQJ1C2q9oE3F7wvmSGAaVtTmUizReu6fjN8uqzbQ=
-github.com/sirupsen/logrus v1.9.3/go.mod h1:naHLuLoDiP4jHNo9R0sCBMtWGeIprob74mVsIT4qYEQ=
-github.com/stretchr/objx v0.1.0/go.mod h1:HFkY916IF+rwdDfMAkV7OtwuqBVzrE8GR6GFx+wExME=
-github.com/stretchr/testify v1.7.0/go.mod h1:6Fq8oRcR53rry900zMqJjRRixrwX3KX962/h/Wwjteg=
+github.com/sirupsen/logrus v1.9.4 h1:TsZE7l11zFCLZnZ+teH4Umoq5BhEIfIzfRDZ1Uzql2w=
+github.com/sirupsen/logrus v1.9.4/go.mod h1:ftWc9WdOfJ0a92nsE2jF5u5ZwH8Bv2zdeOC42RjbV2g=
 github.com/stretchr/testify v1.10.0 h1:Xv5erBjTwe/5IxqUQTdXv5kgmIvbHo3QQyRwhJsOfJA=
 github.com/stretchr/testify v1.10.0/go.mod h1:r2ic/lqez/lEtzL7wO/rwa5dbSLXVDPFyf8C91i36aY=
 github.com/xrash/smetrics v0.0.0-20250705151800-55b8f293f342 h1:FnBeRrxr7OU4VvAzt5X7s6266i6cSVkkFPS0TuXWbIg=
@@ -29,12 +26,9 @@ golang.org/x/mod v0.32.0 h1:9F4d3PHLljb6x//jOyokMv3eX+YDeepZSEo3mFJy93c=
 golang.org/x/mod v0.32.0/go.mod h1:SgipZ/3h2Ci89DlEtEXWUk/HteuRin+HHhN+WbNhguU=
 golang.org/x/sync v0.19.0 h1:vV+1eWNmZ5geRlYjzm2adRgW2/mcpevXNg50YZtPCE4=
 golang.org/x/sync v0.19.0/go.mod h1:9KTHXmSnoGruLpwFjVSX0lNNA75CykiMECbovNTZqGI=
-golang.org/x/sys v0.0.0-20220715151400-c0bba94af5f8/go.mod h1:oPkhp1MJrh7nUepCBck5+mAzfO9JrbApNNgaTdGDITg=
 golang.org/x/sys v0.40.0 h1:DBZZqJ2Rkml6QMQsZywtnjnnGvHza6BTfYFWY9kjEWQ=
 golang.org/x/sys v0.40.0/go.mod h1:OgkHotnGiDImocRcuBABYBEXf8A9a87e/uXjp9XT3ks=
 golang.org/x/tools v0.41.0 h1:a9b8iMweWG+S0OBnlU36rzLp20z1Rp10w+IY2czHTQc=
 golang.org/x/tools v0.41.0/go.mod h1:XSY6eDqxVNiYgezAVqqCeihT4j1U2CCsqvH3WhQpnlg=
-gopkg.in/check.v1 v0.0.0-20161208181325-20d25e280405/go.mod h1:Co6ibVJAznAaIkqp8huTwlJQCZ016jof/cbN4VW5Yz0=
-gopkg.in/yaml.v3 v3.0.0-20200313102051-9f266ea9e77c/go.mod h1:K4uyk7z7BCEPqu6E+C64Yfv1cQ7kz7rIZviUmN+EgEM=
 gopkg.in/yaml.v3 v3.0.1 h1:fxVm/GzAzEWqLHuvctI91KS9hhNmmWOoWu0XTYJS7CA=
 gopkg.in/yaml.v3 v3.0.1/go.mod h1:K4uyk7z7BCEPqu6E+C64Yfv1cQ7kz7rIZviUmN+EgEM=

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "goscript",
   "description": "Go to TypeScript transpiler",
-  "version": "0.0.73",
+  "version": "0.0.75",
   "author": {
     "name": "Aperture Robotics LLC.",
     "email": "support@aperture.us",