@ttsc/wasm 0.26.2 → 0.28.0

package/dist/.ttsc-wasm-build.json

@@ -1,11 +1,11 @@
 {
   "schema": 1,
-  "identity": "d2aaebc4a3fb711653c25dd4bd96266235c1765720f25de03366130d14fe1d2e",
+  "identity": "8e448ff45b7e1fd1f9f1b6d1d5ee3dc0fcf4de96a5d93f1faf71df266043ca9b",
   "artifacts": [
     {
       "path": "/home/runner/work/ttsc/ttsc/packages/wasm/dist/ttsc.wasm",
       "type": "file",
-      "sha256": "29bafd930043ecd531782f8565448fb18ea8c5ae703b78dd1dca1c183e06ba83"
+      "sha256": "a75af10a10f8d6e1c951414460c63e7ab398d0f5c283d3fbedcd44d2fada506d"
     },
     {
       "path": "/home/runner/work/ttsc/ttsc/packages/wasm/dist/wasm_exec.js",
@@ -43,7 +43,7 @@
         },
         {
           "path": "ast/parent.go",
-          "sha256": "261de982952f6c855e6c303d7c1a3adea2aaa125bb7103063a55f1741ff525db"
+          "sha256": "8ec407ee63e9a172cd1bcbd717c2b326ce2d3bbbc7301b3544c67f6b046bf597"
         },
         {
           "path": "ast/safe_text.go",
@@ -103,7 +103,7 @@
         },
         {
           "path": "checker/enums_gen.go",
-          "sha256": "196f4a8b77ee0fa4e1a65a801472ffaa13871865e23c5b02eb5ef7ed371f39a8"
+          "sha256": "5c2abe63676104fdeb78cd8e7064cd87bd79585b29e73a07b445db7b14725875"
         },
         {
           "path": "checker/extra-shim.json",
@@ -111,11 +111,15 @@
         },
         {
           "path": "checker/go.mod",
-          "sha256": "d191ae8d581a2d548e02221e27cdde3ad54611abd62ac7ba3c647da7435f67e6"
+          "sha256": "94e107d6628d4693f2da8a342e49ff326ad28d5d0c31bec30ad3a42a98aad4cf"
+        },
+        {
+          "path": "checker/go.sum",
+          "sha256": "a94c806630860a27e74df1db99b2abf86fada0e699937a813b42fe190021a16d"
         },
         {
           "path": "checker/shim.go",
-          "sha256": "cd45126b5cc0fbbe1213343dd561c51c4d0673135ff62d6542bd1ea6e3426eab"
+          "sha256": "e4b4251860e180532a2eef5965e61d0843a6078cebefdd388c98119ebf451dc1"
         },
         {
           "path": "compiler/emit_sourcemap.go",
@@ -127,7 +131,7 @@
         },
         {
           "path": "compiler/emithook.go",
-          "sha256": "a639371d663dc56005e9490b3f7d5ba2d3b8d1c56dfd862c721f0f9f9adddce9"
+          "sha256": "1539525a78d9369c5c692c9a62514395b3ac8e905e4e923e215855dcb7191d00"
         },
         {
           "path": "compiler/extra-shim.json",
@@ -143,7 +147,7 @@
         },
         {
           "path": "compiler/incremental.go",
-          "sha256": "8020631b8bc293f7cc860afbd4f40b1f4a304459b28d1111ecf366826f7e88ab"
+          "sha256": "3c873bed3659cfe1969a97caea105d230dad510e66d8da6e4ca2c4dc6617a04c"
         },
         {
           "path": "compiler/shim.go",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ttsc/wasm",
-  "version": "0.26.2",
+  "version": "0.28.0",
   "description": "Build in-browser ttsc playgrounds. Compose ttsc + typescript-go with your own plugins via the Go host helper.",
   "main": "lib/src/index.js",
   "types": "lib/src/index.d.ts",

package/shim-vendor/shim/ast/parent.go

@@ -6,9 +6,17 @@ import innerast "github.com/microsoft/typescript-go/internal/ast"
 // its containing node.
 //
 // A transform that splices freshly built (synthetic) nodes onto a SourceFile
-// must call this before emit: passes that walk parents — e.g. the emit
-// resolver's reference marking (MarkLinkedReferencesRecursively) — dereference
-// Parent and would hit nil on a synthetic node otherwise.
+// must call this before emit, because the passes that then walk the spliced tree
+// dereference Parent and would hit nil on a synthetic node. The printer is the
+// example that holds up: getContainingNodeArray reads node.Parent unguarded for
+// a parameter, template span, decorator, and heritage clause.
+//
+// Two earlier examples were dropped rather than the rule. The emit resolver's
+// reference marking no longer walks the spliced tree at all in ttsc's plugin
+// emit lane, which builds the builtin chain from the parse tree (see
+// driver.EmitWithPluginTransformers). The module transform's own Parent reads
+// carry upstream //nolint:customlint notes saying they deliberately inspect
+// parse-tree parents.
 func SetParentInChildren(node *Node) {
   innerast.SetParentInChildren(node)
 }
@@ -20,6 +28,11 @@ func SetParentInChildren(node *Node) {
 // kept verbatim while sibling statements were rewritten) makes tsgo's
 // runtime-syntax/printer mis-resolve the declaration and drop it from emit.
 // Only freshly built (synthetic) nodes need a parent wired, and those start nil.
+//
+// This is the form ttsc's plugin emit lane calls. How much it currently carries
+// is unproven: stubbing the call out leaves the whole driver suite green, which
+// measures the suite's coverage of parent-dependent emit rather than the hazard.
+// Keep it for the reason above, not on the strength of a failing test.
 func SetParentInChildrenUnset(node *Node) {
   node.ForEachChild(func(child *Node) bool {
     if child.Parent == nil {

package/shim-vendor/shim/checker/enums_gen.go

@@ -77,6 +77,17 @@ const (
   ObjectFlagsSingleSignatureType                        = innerchecker.ObjectFlagsSingleSignatureType
   ObjectFlagsTuple                                      = innerchecker.ObjectFlagsTuple
   ObjectFlagsUnresolvedMembers                          = innerchecker.ObjectFlagsUnresolvedMembers
+  SignatureFlagsCallChainFlags                          = innerchecker.SignatureFlagsCallChainFlags
+  SignatureFlagsConstruct                               = innerchecker.SignatureFlagsConstruct
+  SignatureFlagsHasLiteralTypes                         = innerchecker.SignatureFlagsHasLiteralTypes
+  SignatureFlagsHasRestParameter                        = innerchecker.SignatureFlagsHasRestParameter
+  SignatureFlagsIsInnerCallChain                        = innerchecker.SignatureFlagsIsInnerCallChain
+  SignatureFlagsIsNonInferrable                         = innerchecker.SignatureFlagsIsNonInferrable
+  SignatureFlagsIsOuterCallChain                        = innerchecker.SignatureFlagsIsOuterCallChain
+  SignatureFlagsIsSignatureCandidateForOverloadFailure  = innerchecker.SignatureFlagsIsSignatureCandidateForOverloadFailure
+  SignatureFlagsIsUntypedSignatureInJSFile              = innerchecker.SignatureFlagsIsUntypedSignatureInJSFile
+  SignatureFlagsNone                                    = innerchecker.SignatureFlagsNone
+  SignatureFlagsPropagatingFlags                        = innerchecker.SignatureFlagsPropagatingFlags
   SignatureKindConstruct                                = innerchecker.SignatureKindConstruct
   TypeFlagsAnyOrUnknown                                 = innerchecker.TypeFlagsAnyOrUnknown
   TypeFlagsBigInt                                       = innerchecker.TypeFlagsBigInt

package/shim-vendor/shim/checker/go.mod

@@ -3,3 +3,12 @@ module github.com/microsoft/typescript-go/shim/checker
 go 1.26
 
 require github.com/microsoft/typescript-go v0.0.0-20260429010842-56ab4af42157
+
+require (
+	github.com/go-json-experiment/json v0.0.0-20260214004413-d219187c3433 // indirect
+	github.com/klauspost/cpuid/v2 v2.2.10 // indirect
+	github.com/zeebo/xxh3 v1.1.0 // indirect
+	golang.org/x/sync v0.20.0 // indirect
+	golang.org/x/sys v0.43.0 // indirect
+	golang.org/x/text v0.36.0 // indirect
+)

package/shim-vendor/shim/checker/go.sum

@@ -0,0 +1,22 @@
+github.com/go-json-experiment/json v0.0.0-20260214004413-d219187c3433 h1:vymEbVwYFP/L05h5TKQxvkXoKxNvTpjxYKdF1Nlwuao=
+github.com/go-json-experiment/json v0.0.0-20260214004413-d219187c3433/go.mod h1:tphK2c80bpPhMOI4v6bIc2xWywPfbqi1Z06+RcrMkDg=
+github.com/google/go-cmp v0.7.0 h1:wk8382ETsv4JYUZwIsn6YpYiWiBsYLSJiTsyBybVuN8=
+github.com/google/go-cmp v0.7.0/go.mod h1:pXiqmnSA92OHEEa9HXL2W4E7lf9JzCmGVUdgjX3N/iU=
+github.com/klauspost/cpuid/v2 v2.2.10 h1:tBs3QSyvjDyFTq3uoc/9xFpCuOsJQFNPiAhYdw2skhE=
+github.com/klauspost/cpuid/v2 v2.2.10/go.mod h1:hqwkgyIinND0mEev00jJYCxPNVRVXFQeu1XKlok6oO0=
+github.com/microsoft/typescript-go v0.0.0-20260429010842-56ab4af42157 h1:llOMPhKDiQ+UEJiAaQuuWaJOTg5V7tNNTEf9JPWoYSY=
+github.com/microsoft/typescript-go v0.0.0-20260429010842-56ab4af42157/go.mod h1:m8YA0PMC7ti0GW0RI05D6fEcjQeu98XVS+FWF+VDW2k=
+github.com/peter-evans/patience v0.3.0 h1:rX0JdJeepqdQl1Sk9c9uvorjYYzL2TfgLX1adqYm9cA=
+github.com/peter-evans/patience v0.3.0/go.mod h1:Kmxu5sY1NmBLFSStvXjX1wS9mIv7wMcP/ubucyMOAu0=
+github.com/zeebo/assert v1.3.0 h1:g7C04CbJuIDKNPFHmsk4hwZDO5O+kntRxzaUoNXj+IQ=
+github.com/zeebo/assert v1.3.0/go.mod h1:Pq9JiuJQpG8JLJdtkwrJESF0Foym2/D9XMU5ciN/wJ0=
+github.com/zeebo/xxh3 v1.1.0 h1:s7DLGDK45Dyfg7++yxI0khrfwq9661w9EN78eP/UZVs=
+github.com/zeebo/xxh3 v1.1.0/go.mod h1:IisAie1LELR4xhVinxWS5+zf1lA4p0MW4T+w+W07F5s=
+golang.org/x/sync v0.20.0 h1:e0PTpb7pjO8GAtTs2dQ6jYa5BWYlMuX047Dco/pItO4=
+golang.org/x/sync v0.20.0/go.mod h1:9xrNwdLfx4jkKbNva9FpL6vEN7evnE43NNNJQ2LF3+0=
+golang.org/x/sys v0.43.0 h1:Rlag2XtaFTxp19wS8MXlJwTvoh8ArU6ezoyFsMyCTNI=
+golang.org/x/sys v0.43.0/go.mod h1:4GL1E5IUh+htKOUEOaiffhrAeqysfVGipDYzABqnCmw=
+golang.org/x/text v0.36.0 h1:JfKh3XmcRPqZPKevfXVpI1wXPTqbkE5f7JA92a55Yxg=
+golang.org/x/text v0.36.0/go.mod h1:NIdBknypM8iqVmPiuco0Dh6P5Jcdk8lJL0CUebqK164=
+gotest.tools/v3 v3.5.2 h1:7koQfIKdy+I8UTetycgUqXWSDwpgv193Ka+qRsmBY8Q=
+gotest.tools/v3 v3.5.2/go.mod h1:LtdLGcnqToBH83WByAAi/wiwSFCArdFIUV/xxN4pcjA=

package/shim-vendor/shim/checker/shim.go

@@ -20,8 +20,11 @@ import (
 type Checker = innerchecker.Checker
 type IndexInfo = innerchecker.IndexInfo
 type Signature = innerchecker.Signature
+type SignatureFlags = innerchecker.SignatureFlags
 type SignatureKind = innerchecker.SignatureKind
 type Type = innerchecker.Type
+type TypeMapper = innerchecker.TypeMapper
+type TypeMapperKind = innerchecker.TypeMapperKind
 type TypeFlags = innerchecker.TypeFlags
 type ObjectFlags = innerchecker.ObjectFlags
 type ElementFlags = innerchecker.ElementFlags
@@ -214,8 +217,15 @@ func Checker_isSymbolAccessibleAsValue(recv *innerchecker.Checker, symbol *inner
 }
 
 const (
+  SignatureFlagsAbstract = innerchecker.SignatureFlagsAbstract
+
   SignatureKindCall = innerchecker.SignatureKindCall
 
+  TypeMapperKindUnknown = innerchecker.TypeMapperKindUnknown
+  TypeMapperKindSimple  = innerchecker.TypeMapperKindSimple
+  TypeMapperKindArray   = innerchecker.TypeMapperKindArray
+  TypeMapperKindMerged  = innerchecker.TypeMapperKindMerged
+
   TypeFlagsAny             = innerchecker.TypeFlagsAny
   TypeFlagsUnknown         = innerchecker.TypeFlagsUnknown
   TypeFlagsUndefined       = innerchecker.TypeFlagsUndefined
@@ -597,3 +607,71 @@ func Checker_getRestTypeOfSignature(recv *innerchecker.Checker, signature *inner
   }
   return recv.GetRestTypeOfSignature(signature)
 }
+
+//go:linkname checkerInstantiateType github.com/microsoft/typescript-go/internal/checker.(*Checker).instantiateType
+func checkerInstantiateType(recv *innerchecker.Checker, t *innerchecker.Type, m *innerchecker.TypeMapper) *innerchecker.Type
+
+//go:linkname checkerNewSimpleTypeMapper github.com/microsoft/typescript-go/internal/checker.newSimpleTypeMapper
+func checkerNewSimpleTypeMapper(source *innerchecker.Type, target *innerchecker.Type) *innerchecker.TypeMapper
+
+//go:linkname checkerNewTypeMapper github.com/microsoft/typescript-go/internal/checker.newTypeMapper
+func checkerNewTypeMapper(sources []*innerchecker.Type, targets []*innerchecker.Type) *innerchecker.TypeMapper
+
+// Checker_instantiateType substitutes the type parameters of `t` with the
+// concrete types in `mapper`, returning the instantiated type. A type-transform
+// plugin uses it to instantiate a generic class's constructor type with the
+// reference's type arguments, so a type parameter nested inside a container
+// (`A[]`, `[A, B]`) is substituted for free. Returns nil if recv or t is nil.
+func Checker_instantiateType(recv *innerchecker.Checker, t *innerchecker.Type, mapper *innerchecker.TypeMapper) *innerchecker.Type {
+  if recv == nil || t == nil {
+    return nil
+  }
+  return checkerInstantiateType(recv, t, mapper)
+}
+
+// Checker_newSimpleTypeMapper builds a single-pair type mapper that substitutes
+// `source` with `target`. It is the building block for instantiating a generic
+// class's constructor type with its reference type arguments. Returns nil if
+// source or target is nil.
+func Checker_newSimpleTypeMapper(source *innerchecker.Type, target *innerchecker.Type) *innerchecker.TypeMapper {
+  if source == nil || target == nil {
+    return nil
+  }
+  return checkerNewSimpleTypeMapper(source, target)
+}
+
+// Checker_newTypeMapper builds a parallel type mapper from corresponding
+// source and target slices. Unlike Checker_combineTypeMappers, it does not feed
+// one substitution's target through later substitutions, so a mapping such as
+// `[A, B] -> [B, A]` preserves both target identities. Returns nil when the
+// slices are empty, differ in length, or contain nil types.
+func Checker_newTypeMapper(sources []*innerchecker.Type, targets []*innerchecker.Type) *innerchecker.TypeMapper {
+  if len(sources) == 0 || len(sources) != len(targets) {
+    return nil
+  }
+  for i := range sources {
+    if sources[i] == nil || targets[i] == nil {
+      return nil
+    }
+  }
+  return checkerNewTypeMapper(sources, targets)
+}
+
+//go:linkname checkerCombineTypeMappers github.com/microsoft/typescript-go/internal/checker.(*Checker).combineTypeMappers
+func checkerCombineTypeMappers(recv *innerchecker.Checker, m1 *innerchecker.TypeMapper, m2 *innerchecker.TypeMapper) *innerchecker.TypeMapper
+
+// Checker_combineTypeMappers composes two mapper stages. The first mapper's
+// substituted target is instantiated through the second mapper, so use
+// Checker_newTypeMapper instead when source and target slices are parallel
+// declaration-parameter mappings. Returns m2 when m1 is nil, including when
+// recv is nil. Returns nil when m1 is non-nil and recv or m2 is nil, because
+// both are required to build a usable composite mapper.
+func Checker_combineTypeMappers(recv *innerchecker.Checker, m1 *innerchecker.TypeMapper, m2 *innerchecker.TypeMapper) *innerchecker.TypeMapper {
+  if m1 == nil {
+    return m2
+  }
+  if recv == nil || m2 == nil {
+    return nil
+  }
+  return checkerCombineTypeMappers(recv, m1, m2)
+}

package/shim-vendor/shim/compiler/emithook.go

@@ -18,5 +18,15 @@ import (
 // (type-erase, import-elision, runtime-syntax, module-transform, ...) for one
 // source file, linked from the internal package via go:linkname.
 //
+// `sourceFile` is the marking target, not the file that gets transformed.
+// Upstream reads it for two per-file constants (in-JS-file, JSX language
+// variant) and then hands it to emitResolver.MarkLinkedReferencesRecursively,
+// whose marks the import-elision transformer later reads back through
+// EmitContext.ParseNode. A caller that runs a plugin pass first must therefore
+// pass the PARSE tree here and the transformed tree to TransformSourceFile;
+// upstream's own emitter passes one file to both only because it has nothing in
+// between. Re-check this when the pin moves: a new use of the parameter inside
+// getScriptTransformers could make the two roles diverge further.
+//
 //go:linkname GetScriptTransformers github.com/microsoft/typescript-go/internal/compiler.getScriptTransformers
 func GetScriptTransformers(emitContext *innerprinter.EmitContext, host innerprinter.EmitHost, sourceFile *innerast.SourceFile) []*innertransformers.Transformer

package/shim-vendor/shim/compiler/incremental.go

@@ -1,13 +1,20 @@
 // gen_shims:hand-maintained
 //
-// Reference-graph parts of tsgo's own incremental engine (`tsc --incremental`
-// semantics), linked from internal/execute/incremental so ttsc's transform
-// envelopes can carry the same language-semantic input bound the compiler
-// itself uses for invalidation: per-file direct resolved references and the
-// files that contribute to the global scope.
+// Parts of tsgo's own incremental engine (`tsc --incremental` semantics),
+// exposed from internal/execute/incremental for the two things a ttsc host
+// needs from it:
+//
+//   - the reference graph, so transform envelopes can carry the same
+//     language-semantic input bound the compiler itself uses for invalidation:
+//     per-file direct resolved references and the files that contribute to the
+//     global scope;
+//   - the build-information emit, so a host that constructs its Program
+//     in-process still writes the `.tsbuildinfo` an `incremental` or
+//     `composite` project asked for.
 package compiler
 
 import (
+  "context"
   _ "unsafe"
 
   innerast "github.com/microsoft/typescript-go/internal/ast"
@@ -15,11 +22,41 @@ import (
   innercompiler "github.com/microsoft/typescript-go/internal/compiler"
   "github.com/microsoft/typescript-go/internal/tspath"
 
-  // The linknamed symbols below live in the incremental package; the blank
-  // import compiles it into every shim consumer so the references resolve.
-  _ "github.com/microsoft/typescript-go/internal/execute/incremental"
+  // Imported for EmitFreshWithBuildInfo below, and for the linknamed symbols
+  // further down: compiling the package into every shim consumer is what makes
+  // those references resolve.
+  "github.com/microsoft/typescript-go/internal/execute/incremental"
 )
 
+// EmitFreshWithBuildInfo runs a full emit through tsgo's own incremental
+// program, so an `incremental` or `composite` project gets the `.tsbuildinfo`
+// tsgo would have written, in the exact format and location
+// `outputpaths.GetBuildInfoFileName` resolves from the compiler options.
+//
+// This is the emit half of `tsc.go::performIncrementalCompilation`, which the
+// tsgo CLI takes whenever `CompilerOptions.IsIncremental()`. A host that builds
+// its Program in-process (ttsc's driver, and therefore every plugin sidecar
+// emitting through it) never reaches that CLI path, so without this the build
+// information is silently dropped even though the options parsed cleanly.
+//
+// "Fresh" is the load-bearing word: no previous snapshot is supplied, so
+// `programToSnapshot` marks every file changed and this emits the whole program
+// exactly as `Program.Emit` does, then writes the build info. A ttsc plugin's
+// output is not a pure function of the source text a build info records — it
+// also depends on the plugin binary, its config file, and its contributors —
+// so reusing a previous snapshot to skip a file would serve stale transformed
+// output. Producing the record is sound; consuming it needs plugin identity in
+// the invalidation key first.
+func EmitFreshWithBuildInfo(ctx context.Context, program *Program, options EmitOptions) *EmitResult {
+  incrementalProgram := incremental.NewProgram(
+    program,
+    nil,
+    incremental.CreateHost(program.Host()),
+    false,
+  )
+  return incrementalProgram.Emit(ctx, options)
+}
+
 //go:linkname incrementalGetReferencedFiles github.com/microsoft/typescript-go/internal/execute/incremental.getReferencedFiles
 func incrementalGetReferencedFiles(program *innercompiler.Program, file *innerast.SourceFile) *collections.Set[tspath.Path]