feat: selective exports from index.ts

Signed-off-by: Christian Stewart <[email protected]>

Author: paralin

compiler/compiler.go

@@ -338,8 +338,9 @@ func (c *PackageCompiler) Compile(ctx context.Context) error {
 }
 
 // generateIndexFile creates an index.ts file in the package output directory
-// that re-exports all symbols from the compiled TypeScript files.
-// This ensures the package can be imported correctly by TypeScript modules.
+// that re-exports only Go-exported symbols from the compiled TypeScript files.
+// This ensures the package can be imported correctly by TypeScript modules
+// while maintaining proper Go package boundaries.
 func (c *PackageCompiler) generateIndexFile(compiledFiles []string) error {
 	indexFilePath := filepath.Join(c.outputPath, "index.ts")
 
@@ -350,12 +351,118 @@ func (c *PackageCompiler) generateIndexFile(compiledFiles []string) error {
 	}
 	defer indexFile.Close() //nolint:errcheck
 
-	// Write the re-export statements for each compiled file
+	// Collect exported symbols from all files in the package
+	var exportedSymbols []string
+
+	// Iterate through all syntax files to find exported symbols
+	for i, syntax := range c.pkg.Syntax {
+		fileName := c.pkg.CompiledGoFiles[i]
+		baseFileName := filepath.Base(fileName)
+		gsFileName := strings.TrimSuffix(baseFileName, ".go") + ".gs"
+
+		// Only include this file if it was compiled (in our compiledFiles list)
+		fileWasCompiled := false
+		for _, compiledFile := range compiledFiles {
+			if compiledFile == gsFileName {
+				fileWasCompiled = true
+				break
+			}
+		}
+		if !fileWasCompiled {
+			continue
+		}
+
+		// Analyze declarations in this file to find exported symbols
+		for _, decl := range syntax.Decls {
+			switch d := decl.(type) {
+			case *ast.FuncDecl:
+				// Only include top-level functions (not methods)
+				if d.Recv == nil && d.Name.IsExported() {
+					exportedSymbols = append(exportedSymbols, d.Name.Name)
+				}
+			case *ast.GenDecl:
+				for _, spec := range d.Specs {
+					switch s := spec.(type) {
+					case *ast.TypeSpec:
+						if s.Name.IsExported() {
+							exportedSymbols = append(exportedSymbols, s.Name.Name)
+						}
+					case *ast.ValueSpec:
+						for _, name := range s.Names {
+							if name.IsExported() {
+								exportedSymbols = append(exportedSymbols, name.Name)
+							}
+						}
+					}
+				}
+			}
+		}
+	}
+
+	// Remove duplicates and sort
+	symbolMap := make(map[string]bool)
+	for _, symbol := range exportedSymbols {
+		symbolMap[symbol] = true
+	}
+
+	var uniqueSymbols []string
+	for symbol := range symbolMap {
+		uniqueSymbols = append(uniqueSymbols, symbol)
+	}
+
+	// Sort for consistent output
+	sort.Strings(uniqueSymbols)
+
+	// Write selective re-exports for each compiled file
 	for _, fileName := range compiledFiles {
-		// Create the re-export line: export * from "./file.gs.js"
-		exportLine := fmt.Sprintf("export * from \"./%s.js\"\n", fileName)
-		if _, err := indexFile.WriteString(exportLine); err != nil {
-			return err
+		// Find which symbols this file exports
+		var fileSymbols []string
+
+		// Find the corresponding syntax file
+		for i, syntax := range c.pkg.Syntax {
+			syntaxFileName := c.pkg.CompiledGoFiles[i]
+			syntaxBaseFileName := filepath.Base(syntaxFileName)
+			syntaxGsFileName := strings.TrimSuffix(syntaxBaseFileName, ".go") + ".gs"
+
+			if syntaxGsFileName != fileName {
+				continue
+			}
+
+			// Collect exported symbols from this specific file
+			for _, decl := range syntax.Decls {
+				switch d := decl.(type) {
+				case *ast.FuncDecl:
+					if d.Recv == nil && d.Name.IsExported() {
+						fileSymbols = append(fileSymbols, d.Name.Name)
+					}
+				case *ast.GenDecl:
+					for _, spec := range d.Specs {
+						switch s := spec.(type) {
+						case *ast.TypeSpec:
+							if s.Name.IsExported() {
+								fileSymbols = append(fileSymbols, s.Name.Name)
+							}
+						case *ast.ValueSpec:
+							for _, name := range s.Names {
+								if name.IsExported() {
+									fileSymbols = append(fileSymbols, name.Name)
+								}
+							}
+						}
+					}
+				}
+			}
+			break
+		}
+
+		// Write selective export if this file has exported symbols
+		if len(fileSymbols) > 0 {
+			sort.Strings(fileSymbols)
+			exportLine := fmt.Sprintf("export { %s } from \"./%s.js\"\n",
+				strings.Join(fileSymbols, ", "), fileName)
+			if _, err := indexFile.WriteString(exportLine); err != nil {
+				return err
+			}
 		}
 	}
 

compliance/tests/array_literal/index.ts

@@ -1 +0,0 @@
-export * from "./array_literal.gs.js"

compliance/tests/assign_op/index.ts

@@ -1 +0,0 @@
-export * from "./assign_op.gs.js"

compliance/tests/async_basic/index.ts

@@ -1 +0,0 @@
-export * from "./async_basic.gs.js"

compliance/tests/async_defer_statement/index.ts

@@ -1 +0,0 @@
-export * from "./async_defer_statement.gs.js"

compliance/tests/basic_arithmetic/index.ts

@@ -1 +0,0 @@
-export * from "./basic_arithmetic.gs.js"

compliance/tests/boolean_logic/index.ts

@@ -1 +0,0 @@
-export * from "./boolean_logic.gs.js"

compliance/tests/build_tags/index.ts

@@ -1,3 +0,0 @@
-export * from "./build_tags.gs.js"
-export * from "./build_tags_generic.gs.js"
-export * from "./build_tags_js.gs.js"

compliance/tests/bytes/index.ts

@@ -1 +0,0 @@
-export * from "./bytes.gs.js"

compliance/tests/chan_type_assertion/index.ts

@@ -1 +0,0 @@
-export * from "./chan_type_assertion.gs.js"

compliance/tests/channel_basic/index.ts

@@ -1 +0,0 @@
-export * from "./channel_basic.gs.js"

compliance/tests/comments_struct/index.ts

@@ -1 +1 @@
-export * from "./comments_struct.gs.js"
+export { TestStruct } from "./comments_struct.gs.js"

compliance/tests/composite_literal_assignment/index.ts

@@ -1 +1 @@
-export * from "./composite_literal_assignment.gs.js"
+export { MyStruct } from "./composite_literal_assignment.gs.js"

compliance/tests/constants/index.ts

@@ -1 +1 @@
-export * from "./constants.gs.js"
+export { Greeting, Nothing, Pi, Truth } from "./constants.gs.js"

compliance/tests/constants_iota/index.ts

@@ -1 +1 @@
-export * from "./constants_iota.gs.js"
+export { A, B, Blue, ByteSize, C, Direction, East, First, Friday, GB, Green, KB, MB, Monday, North, Red, Saturday, Second, South, Sunday, TB, Third, Thursday, Tuesday, Wednesday, West } from "./constants_iota.gs.js"

compliance/tests/copy_independence/index.ts

@@ -1 +1 @@
-export * from "./copy_independence.gs.js"
+export { MyStruct } from "./copy_independence.gs.js"

compliance/tests/defer_statement/index.ts

@@ -1 +0,0 @@
-export * from "./defer_statement.gs.js"

compliance/tests/discarded_channel_receive/index.ts

@@ -1 +0,0 @@
-export * from "./discarded_channel_receive.gs.js"

compliance/tests/embedded_interface_assertion/index.ts

@@ -1 +1 @@
-export * from "./embedded_interface_assertion.gs.js"
+export { Closer, MyStruct, ReadCloser, Reader } from "./embedded_interface_assertion.gs.js"

compliance/tests/flag_bitwise_op/index.ts

@@ -1 +0,0 @@
-export * from "./flag_bitwise_op.gs.js"

compliance/tests/float64/index.ts

@@ -1 +0,0 @@
-export * from "./float64.gs.js"

compliance/tests/for_init_exprstmt/index.ts

@@ -1 +0,0 @@
-export * from "./for_init_exprstmt.gs.js"

compliance/tests/for_init_multi_assign/index.ts

@@ -1 +0,0 @@
-export * from "./for_init_multi_assign.gs.js"

compliance/tests/for_loop_basic/index.ts

@@ -1 +0,0 @@
-export * from "./for_loop_basic.gs.js"

compliance/tests/for_loop_condition_only/index.ts

@@ -1 +0,0 @@
-export * from "./for_loop_condition_only.gs.js"

compliance/tests/for_loop_infinite/index.ts

@@ -1 +0,0 @@
-export * from "./for_loop_infinite.gs.js"

compliance/tests/for_post_assign_stmt/index.ts

@@ -1 +0,0 @@
-export * from "./for_post_assign_stmt.gs.js"

compliance/tests/for_post_exprstmt/index.ts

@@ -1 +0,0 @@
-export * from "./for_post_exprstmt.gs.js"

compliance/tests/for_post_incdec/index.ts

@@ -1 +0,0 @@
-export * from "./for_post_incdec.gs.js"

compliance/tests/for_post_multi_assign/index.ts

@@ -1 +0,0 @@
-export * from "./for_post_multi_assign.gs.js"

compliance/tests/for_range/index.ts

@@ -1 +0,0 @@
-export * from "./for_range.gs.js"

compliance/tests/for_range_index_use/index.ts

@@ -1 +0,0 @@
-export * from "./for_range_index_use.gs.js"

compliance/tests/for_range_key_only/index.ts

@@ -1 +0,0 @@
-export * from "./for_range_key_only.gs.js"

compliance/tests/for_range_no_vars/index.ts

@@ -1 +0,0 @@
-export * from "./for_range_no_vars.gs.js"

compliance/tests/for_range_value_only/index.ts

@@ -1 +0,0 @@
-export * from "./for_range_value_only.gs.js"

compliance/tests/func_literal/index.ts

@@ -1 +0,0 @@
-export * from "./func_literal.gs.js"

compliance/tests/function_call_result_assignment/index.ts

@@ -1 +1 @@
-export * from "./function_call_result_assignment.gs.js"
+export { MyStruct, NewMyStruct } from "./function_call_result_assignment.gs.js"

compliance/tests/function_signature_type/index.ts

@@ -1 +1 @@
-export * from "./function_signature_type.gs.js"
+export { Func1, Func2, Func3, Func4, MyError, NewMyError } from "./function_signature_type.gs.js"

compliance/tests/function_type_assertion/index.ts

@@ -1 +1 @@
-export * from "./function_type_assertion.gs.js"
+export { Adder, FuncContainer, Greeter } from "./function_type_assertion.gs.js"

compliance/tests/generic_index_assignment/index.ts

@@ -1 +0,0 @@
-export * from "./generic_index_assignment.gs.js"

compliance/tests/generics/index.ts

@@ -1 +1 @@
-export * from "./generics.gs.js"
+export { Pair } from "./generics.gs.js"

compliance/tests/generics_basic/index.ts

@@ -1 +0,0 @@
-export * from "./generics_basic.gs.js"

compliance/tests/generics_interface/index.ts

@@ -1 +1 @@
-export * from "./generics_interface.gs.js"
+export { Comparable, Container, StringValueContainer, ValueContainer } from "./generics_interface.gs.js"

compliance/tests/generics_leading_int/index.ts

@@ -1 +0,0 @@
-export * from "./generics_leading_int.gs.js"

compliance/tests/go_type_assertion/index.ts

@@ -1 +0,0 @@
-export * from "./go_type_assertion.gs.js"

compliance/tests/goroutines/index.ts

@@ -1 +1 @@
-export * from "./goroutines.gs.js"
+export { Message } from "./goroutines.gs.js"

compliance/tests/goroutines_anonymous/index.ts

@@ -1 +0,0 @@
-export * from "./goroutines_anonymous.gs.js"

compliance/tests/goroutines_selector/index.ts

@@ -1 +1 @@
-export * from "./goroutines_selector.gs.js"
+export { Foo, NewFoo } from "./goroutines_selector.gs.js"

compliance/tests/if_statement/index.ts

@@ -1 +0,0 @@
-export * from "./if_statement.gs.js"

compliance/tests/inline_function_type_cast/index.ts

@@ -1 +1 @@
-export * from "./inline_function_type_cast.gs.js"
+export { Greeter } from "./inline_function_type_cast.gs.js"

compliance/tests/inline_interface_type_assertion/index.ts

@@ -1 +1 @@
-export * from "./inline_interface_type_assertion.gs.js"
+export { Greeter, MyStringer, Stringer } from "./inline_interface_type_assertion.gs.js"

compliance/tests/interface_method_comments/index.ts

@@ -1 +1 @@
-export * from "./interface_method_comments.gs.js"
+export { MyInterface } from "./interface_method_comments.gs.js"

compliance/tests/interface_multi_param_return/index.ts

@@ -1 +1 @@
-export * from "./interface_multi_param_return.gs.js"
+export { MultiParamReturner, MyProcessor } from "./interface_multi_param_return.gs.js"

compliance/tests/interface_to_interface_type_assertion/index.ts

@@ -1 +1 @@
-export * from "./interface_to_interface_type_assertion.gs.js"
+export { MyInterface, MyOtherInterface, MyStruct } from "./interface_to_interface_type_assertion.gs.js"

compliance/tests/interface_type_assertion/index.ts

@@ -1 +1 @@
-export * from "./interface_type_assertion.gs.js"
+export { MyInterface, MyStruct } from "./interface_type_assertion.gs.js"

compliance/tests/iterator_simple/index.ts

@@ -1 +0,0 @@
-export * from "./iterator_simple.gs.js"

compliance/tests/map_assign_blank_both/index.ts

@@ -1 +0,0 @@
-export * from "./map_assign_blank_both.gs.js"

compliance/tests/map_support/index.ts

@@ -1 +0,0 @@
-export * from "./map_support.gs.js"

compliance/tests/map_type_assertion/index.ts

@@ -1 +0,0 @@
-export * from "./map_type_assertion.gs.js"

compliance/tests/method_call_on_pointer_receiver/index.ts

@@ -1 +1 @@
-export * from "./method_call_on_pointer_receiver.gs.js"
+export { MyStruct } from "./method_call_on_pointer_receiver.gs.js"

compliance/tests/method_call_on_pointer_via_value/index.ts

@@ -1 +1 @@
-export * from "./method_call_on_pointer_via_value.gs.js"
+export { MyStruct } from "./method_call_on_pointer_via_value.gs.js"

compliance/tests/method_call_on_value_receiver/index.ts

@@ -1 +1 @@
-export * from "./method_call_on_value_receiver.gs.js"
+export { MyStruct } from "./method_call_on_value_receiver.gs.js"

compliance/tests/method_call_on_value_via_pointer/index.ts

@@ -1 +1 @@
-export * from "./method_call_on_value_via_pointer.gs.js"
+export { MyStruct } from "./method_call_on_value_via_pointer.gs.js"

compliance/tests/multiple_return_values/index.ts

@@ -1 +0,0 @@
-export * from "./multiple_return_values.gs.js"

compliance/tests/named_return_multiple/index.ts

@@ -1 +0,0 @@
-export * from "./named_return_multiple.gs.js"

compliance/tests/nil_channel/index.ts

@@ -1 +0,0 @@
-export * from "./nil_channel.gs.js"

compliance/tests/package_import/index.ts

@@ -1 +0,0 @@
-export * from "./package_import.gs.js"

compliance/tests/package_import/subpkg/index.ts

@@ -1 +1 @@
-export * from "./subpkg.gs.js"
+export { Greet } from "./subpkg.gs.js"

compliance/tests/package_import_context/index.ts

@@ -1 +0,0 @@
-export * from "./package_import_context.gs.js"

compliance/tests/package_import_errors/index.ts

@@ -1 +0,0 @@
-export * from "./package_import_errors.gs.js"

compliance/tests/package_import_runtime/index.ts

@@ -1 +0,0 @@
-export * from "./package_import_runtime.gs.js"

compliance/tests/package_import_slices/index.ts

@@ -1 +0,0 @@
-export * from "./package_import_slices.gs.js"

compliance/tests/package_import_time/index.ts

@@ -1 +0,0 @@
-export * from "./package_import_time.gs.js"

compliance/tests/pointer_assignment_no_copy/index.ts

@@ -1 +1 @@
-export * from "./pointer_assignment_no_copy.gs.js"
+export { MyStruct } from "./pointer_assignment_no_copy.gs.js"

compliance/tests/pointer_composite_literal_assignment/index.ts

@@ -1 +1 @@
-export * from "./pointer_composite_literal_assignment.gs.js"
+export { MyStruct } from "./pointer_composite_literal_assignment.gs.js"

compliance/tests/pointer_composite_literal_untyped/index.ts

@@ -1 +0,0 @@
-export * from "./pointer_composite_literal_untyped.gs.js"

compliance/tests/pointer_deref_multiassign/index.ts

@@ -1 +1 @@
-export * from "./pointer_deref_multiassign.gs.js"
+export { MyStruct } from "./pointer_deref_multiassign.gs.js"

compliance/tests/pointer_initialization/index.ts

@@ -1 +1 @@
-export * from "./pointer_initialization.gs.js"
+export { MyStruct } from "./pointer_initialization.gs.js"

compliance/tests/pointer_range_loop/index.ts

@@ -1 +0,0 @@
-export * from "./pointer_range_loop.gs.js"

compliance/tests/pointer_struct_assign_clone/index.ts

@@ -1 +1 @@
-export * from "./pointer_struct_assign_clone.gs.js"
+export { MyStruct } from "./pointer_struct_assign_clone.gs.js"

compliance/tests/pointers/index.ts

@@ -1 +1 @@
-export * from "./pointers.gs.js"
+export { MyStruct } from "./pointers.gs.js"

compliance/tests/private_field_access/index.ts

@@ -1 +1 @@
-export * from "./private_field_access.gs.js"
+export { MyStruct, NewMyStruct } from "./private_field_access.gs.js"

compliance/tests/recursive_type_definition/index.ts

@@ -1 +1 @@
-export * from "./recursive_type_definition.gs.js"
+export { A, B, C, D } from "./recursive_type_definition.gs.js"

compliance/tests/redeclaration_assign/index.ts

@@ -1 +0,0 @@
-export * from "./redeclaration_assign.gs.js"

compliance/tests/select_receive_on_closed_channel_no_default/index.ts

@@ -1 +0,0 @@
-export * from "./select_receive_on_closed_channel_no_default.gs.js"

compliance/tests/select_send_on_full_buffered_channel_with_default/index.ts

@@ -1 +0,0 @@
-export * from "./select_send_on_full_buffered_channel_with_default.gs.js"

compliance/tests/select_statement/index.ts

@@ -1 +0,0 @@
-export * from "./select_statement.gs.js"

compliance/tests/selective_exports/expected.log

@@ -0,0 +1,6 @@
+=== Selective Exports Test ===
+ExportedFunc called
+unexportedFunc called
+ExportedFromUtils called
+unexportedFromUtils called
+=== End Selective Exports Test === 

compliance/tests/selective_exports/index.ts

@@ -0,0 +1,2 @@
+export { ExportedFunc } from "./selective_exports.gs.js"
+export { ExportedFromUtils } from "./utils.gs.js"

compliance/tests/selective_exports/selective_exports.go

@@ -0,0 +1,29 @@
+package main
+
+func main() {
+	println("=== Selective Exports Test ===")
+
+	// Call exported function
+	ExportedFunc()
+
+	// Call unexported function from same file
+	unexportedFunc()
+
+	// Call exported function from another file
+	ExportedFromUtils()
+
+	// Call unexported function from another file (should work due to auto-imports)
+	unexportedFromUtils()
+
+	println("=== End Selective Exports Test ===")
+}
+
+// ExportedFunc is exported (uppercase) - should appear in index.ts
+func ExportedFunc() {
+	println("ExportedFunc called")
+}
+
+// unexportedFunc is not exported (lowercase) - should NOT appear in index.ts
+func unexportedFunc() {
+	println("unexportedFunc called")
+}