typia 14.0.0 → 14.0.2

package/native/transform/CallExpressionTransformer.go

@@ -48,6 +48,13 @@ func (callExpressionTransformerNamespace) Transform(props CallExpressionTransfor
   if props.Expression == nil {
     return nil
   }
+  // Report what SELECTS this callee before asking what it resolved to (project
+  // transform mode only; a no-op otherwise). Typia-ness is decided by the file
+  // that declares the resolved signature, so the modules an import or re-export
+  // chain traverses decide whether this call is rewritten -- and the report has
+  // to happen for a rejected call too, because that is the one an edit to one
+  // of those modules turns into a generated validator.
+  schemametadata.MetadataDependency_touchCallee(props.Context.Checker, props.Expression.Expression)
   signature := props.Context.Checker.GetResolvedSignature(props.Expression.AsNode())
   if signature == nil {
     return props.Expression.AsNode()
@@ -94,10 +101,18 @@ func (callExpressionTransformerNamespace) TransformKnown(props CallExpressionTra
   // intrinsic (`typia.validate<Id>()` with `type Id = string` elsewhere) leaves
   // no symbol on the resolved type, so the call site's own syntax is the only
   // anchor that registers such an alias' declaring file.
-  if props.Expression.TypeArguments != nil {
+  //
+  // A call that writes no type argument takes its validated type from the value
+  // argument instead, and no walk bounds where that type was decided: contextual
+  // typing can put the deciding annotation in a file the resolved type never
+  // names. Report it as unbounded, which costs the file its completeness
+  // declaration rather than vouching for a list that cannot cover it.
+  if props.Expression.TypeArguments != nil && len(props.Expression.TypeArguments.Nodes) != 0 {
     for _, argument := range props.Expression.TypeArguments.Nodes {
       schemametadata.MetadataDependency_touchTypeNode(props.Context.Checker, argument)
     }
+  } else {
+    schemametadata.MetadataDependency_unbounded(props.Context.Checker)
   }
   // Keep the full callee expression (e.g. `typia.assertEquals`) as the modulo,
   // mirroring the TypeScript transformer. Programmers render it into the

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "14.0.0",
+  "version": "14.0.2",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "exports": {
@@ -42,10 +42,9 @@
   },
   "homepage": "https://typia.io",
   "dependencies": {
-    "@standard-schema/spec": "^1.0.0",
     "randexp": "^0.5.3",
-    "@typia/interface": "^14.0.0",
-    "@typia/utils": "^14.0.0"
+    "@typia/interface": "^14.0.2",
+    "@typia/utils": "^14.0.2"
   },
   "peerDependencies": {
     "ttsc": ">=0.19.2"
@@ -59,7 +58,7 @@
     "@types/node": "^25.3.0",
     "rimraf": "^6.1.2",
     "rolldown": "^1.1.5",
-    "ttsc": "^0.19.2",
+    "ttsc": "^0.28.1",
     "typescript": "^7.0.2"
   },
   "sideEffects": false,

package/src/internal/_createStandardSchema.ts

@@ -1,5 +1,4 @@
-import { StandardSchemaV1 } from "@standard-schema/spec";
-import { IValidation } from "@typia/interface";
+import { IValidation, StandardSchemaV1 } from "@typia/interface";
 
 export const _createStandardSchema = <T>(
   fn: (input: unknown) => IValidation<T>,

package/src/module.ts

@@ -1,5 +1,9 @@
-import { StandardSchemaV1 } from "@standard-schema/spec";
-import { IRandomGenerator, IValidation, Resolved } from "@typia/interface";
+import {
+  IRandomGenerator,
+  IValidation,
+  Resolved,
+  StandardSchemaV1,
+} from "@typia/interface";
 
 import { TypeGuardError } from "./TypeGuardError";
 import { NoTransformConfigurationError } from "./transformers/NoTransformConfigurationError";

package/src/re-exports.ts

@@ -1,11 +1,23 @@
+// Every type a public `typia.*` signature exposes must be re-exported here.
+//
+// A consumer compiling with `declaration: true` may only name an inferred type
+// through a module specifier it can resolve itself, and typia's dependencies
+// are not among them under an isolated `node_modules` layout such as pnpm's:
+// they sit beside typia, not above the consumer. Without the re-export that
+// emit has nothing portable to write, so TypeScript reports TS2742 (TS2883
+// since TypeScript 7); with it, the emit writes `typia.<Name>`.
+//
+// `experiments/declaration` is the guard. See samchon/typia#2359.
 export type {
   // validate
   AssertionGuard,
   IJsonParseResult,
   IValidation,
   IRandomGenerator,
+  StandardSchemaV1,
   // json
   OpenApi,
+  IJsonSchemaApplication,
   IJsonSchemaCollection,
   IJsonSchemaUnit,
   // llm
@@ -22,6 +34,7 @@ export type {
   IMetadataTypeTag,
   IJsDocTagInfo,
   // typings
+  Atomic,
   Classifiable,
   ClassifyResult,
   Primitive,

package/src/transformers/NoTransformConfigurationError.ts

@@ -4,13 +4,28 @@ export function NoTransformConfigurationError(name: string): never {
     [
       `Error on typia.${name}(): no transform has been configured.`,
       "",
-      "Read and follow https://typia.io/docs/setup please.",
+      [
+        "Build the project with `ttsc` (not stock `tsc`), run TypeScript",
+        "with `ttsx`, or configure `@ttsc/unplugin` for a bundler.",
+        "These toolchains discover typia's native transform automatically.",
+      ].join(" "),
+      "",
+      [
+        "If `ttsc` is missing, install it with",
+        "`npm i -D ttsc typescript`.",
+      ].join(" "),
       "",
       [
-        "If you've already completed the setup, it means there's",
-        "a bug in your code. Run `tsc` command so that check what",
-        "is wrong with your code.",
+        "If setup is already complete, run `npx ttsc --noEmit` to",
+        "surface the underlying TypeScript or typia transform error.",
       ].join(" "),
+      "",
+      [
+        "Stock `tsc`, `ts-node`, `tsx`, Babel, and SWC do not load",
+        "typia's transform on their own.",
+      ].join(" "),
+      "",
+      "See https://typia.io/docs/setup for setup and bundler instructions.",
     ].join("\n"),
   );
 }