First-class taggedTemplate type (#8415) - #3

Draft

JonoPrest wants to merge 22 commits into

masterfrom

jono/tagged-template-type

Commits on Jun 4, 2026

Add builtin taggedTemplate type and Stdlib.TaggedTemplate module
JonoPrest
committed
d824583
Type-check tagged-template backtick syntax against taggedTemplate
JonoPrest
committed
ecedde0
Emit real JS tagged templates for any taggedTemplate value
JonoPrest
committed
cf87527
Remove @taggedTemplate decorator and its dead FFI path
JonoPrest
committed
53e3cce
Support taggedTemplate in editor analysis and gentype
JonoPrest
committed
65464aa
Add tests and docs for first-class taggedTemplate
JonoPrest
committed
7065d27
Expand tagged-template runtime test coverage
JonoPrest
committed
1443b54
Add tagged-template error fixtures (type and syntax)
JonoPrest
committed
07a467d
Reword tagged-template test comments to describe the tests
JonoPrest
committed
2074256
Test interpolation error distinctly from unclosed backtick
JonoPrest
committed
e98ba67
Tagged-template-specific error messages for misuse
JonoPrest
committed
89c535e
Execute a bare-package-import tag at runtime
JonoPrest
committed
832073e
Update analysis completion snapshots for Stdlib.TaggedTemplate
JonoPrest
committed
91ac2c7
Add gentype coverage for the taggedTemplate type mapping
JonoPrest
committed
58c7c95
Emit a real tag function type in gentype instead of unknown
JonoPrest
committed
1b92724
Link CHANGELOG entries to PR #8461
JonoPrest
committed
023928f
Migrate vendored rescript-bun tags to taggedTemplate type
JonoPrest
committed
0862564
Drop unused predef type_tagged_template helper
JonoPrest
committed
12db98c
Assert the tagged-template values-array invariant in typecore
JonoPrest
committed
111043d

Commits on Jun 5, 2026

Commits on Jun 9, 2026

Apply suggestion from @tsnobip

JonoPrest
and
tsnobip
authored
53f0804

Navigation Menu

First-class taggedTemplate type (#8415) - #3

First-class taggedTemplate type (#8415)#3
JonoPrest wants to merge 22 commits into
masterfrom
jono/tagged-template-type

Commits on Jun 4, 2026

Add builtin taggedTemplate type and Stdlib.TaggedTemplate module

Type-check tagged-template backtick syntax against taggedTemplate

Emit real JS tagged templates for any taggedTemplate value

Remove @taggedTemplate decorator and its dead FFI path

Support taggedTemplate in editor analysis and gentype

Add tests and docs for first-class taggedTemplate

Expand tagged-template runtime test coverage

Add tagged-template error fixtures (type and syntax)

Reword tagged-template test comments to describe the tests

Test interpolation error distinctly from unclosed backtick

Tagged-template-specific error messages for misuse

Execute a bare-package-import tag at runtime

Update analysis completion snapshots for Stdlib.TaggedTemplate

Add gentype coverage for the taggedTemplate type mapping

Emit a real tag function type in gentype instead of unknown

Link CHANGELOG entries to PR #8461

Migrate vendored rescript-bun tags to taggedTemplate type

Drop unused predef type_tagged_template helper

Assert the tagged-template values-array invariant in typecore

Commits on Jun 5, 2026

Drop dead error helper and exclude diagnostic tagged-template arms from coverage

Keep tagged-template purity arm in its natural group, not excluded

Commits on Jun 9, 2026

Apply suggestion from @tsnobip