typesql editor#

The query and model editors run the same parser and checker used before a query runs. Feedback therefore describes the statement Supernova will admit, not a separate approximation.

Read a diagnostic#

Select a highlighted span to see its TS#### code, reason, and help. Unknown columns include nearest-name suggestions. Type mismatches show both sides and name a conversion when one is valid.

Inspect inferred types#

Hover an expression to see its inferred type and nullability. The editor receives a span-to-type table plus statement output schemas, so aliases and nested expressions keep precise locations.

Inlay hints show inferred select-item and CTE-column types without modifying the file. Choose a hint's action to materialize it as a real annotation:

with paid(customer_id: string!, revenue: decimal(18, 2)) as (
  select customer, sum(amount) / 100.0
  from titan.stripe.charges
  group by customer
)
select * from paid

Apply fixes deliberately#

Mechanical fixes are attached to exact spans. Examples include closing a quote or applying an unambiguous spelling repair. A fix never changes semantics merely to silence the checker.

Name references carry the declaration span they resolved to. This powers definition navigation for CTEs, aliases, and declared functions without guessing from text.

The editor performs analysis locally through the versioned WebAssembly interface. It needs a schema snapshot, not live database access.