Issues

htl check writes types/htl/trait.d.tl into a project that requires htl.trait, so stock tl and other language servers see it

ynishi/htl#571 · opened

on Nov 4, 2026

A #[host_module] type declares the ---@trait interfaces it implements, and a Rust trait is declared to Teal as one

ynishi/htl#570 · opened

on Nov 4, 2026

[lang] trait: trait and impl Tr for R as keywords, desugared one-to-one into ---@trait, ---@defaults and trait.impl

ynishi/htl#569 · opened

on Nov 4, 2026

htl rs writes a Rust trait for a ---@trait interface, and an impl of it for a Teal value, so a host holds a Teal object as dyn Trait

ynishi/htl#568 · opened

on Nov 4, 2026

htl shapes and htl rs lower a record that is an interface (record R is I), with the interface's fields copied in

ynishi/htl#567 · opened

on Nov 4, 2026

typeindex: give a function defined outside its record's body a structured type (Decl::info)

ynishi/htl#560 · opened

on Oct 25, 2026

typeindex: keep parameter names in FnSig

ynishi/htl#557 · opened

on Oct 25, 2026

A deadline on one call made from Teal, so a hook that loops forever is cut without ending the whole call

ynishi/htl#556 · opened

on Oct 25, 2026

teal_types!: rebuild only when the declarations it lowers change, not on every .tl edit

ynishi/htl#555 · opened

on Oct 25, 2026

typeindex: keep a function's signature in TypeExpr::Fn

ynishi/htl#553 · opened

on Oct 25, 2026

Design: Rust traits generated from a .d.tl's functions, so a host interface designed in Teal is implemented in Rust against a checked signature

ynishi/htl#537 · opened

on Oct 24, 2026

htl rs lowers a union of where-tagged records to one tagged Rust enum, so a Teal event union reaches the host as one type

ynishi/htl#536 · opened

on Oct 24, 2026

typeindex::Decl carries its payload in its kind, so a record's declaration cannot hold a field's type information

ynishi/htl#516 · opened

on Oct 21, 2026

htl shapes lowers a union of records told apart by a where clause to T.discriminated, and the tag field to T.literal, where it refuses both today

ynishi/htl#512 · opened

on Oct 21, 2026

htl shapes: a run-time shape and a typed Schema<T> declaration generated from each record, so a value from outside is narrowed once at the boundary instead of cast at every read

ynishi/htl#511 · opened

on Oct 21, 2026

htl check / build: parallel checking needs a detailed redesign

ynishi/htl#501 · opened

on Oct 21, 2026

A record nested under a key, in a sequence or as a content payload reports a write failure under its own name, where a read failure names the path from the outer record: only flatten and tag payloads carry the path

ynishi/htl#499 · opened

on Oct 21, 2026

Contract from an lshape schema: schemas/<module>.lua as a second declaration source

ynishi/htl#73 · opened

on Sep 7, 2026

Rockspecs: the part of LuaRocks that is text

ynishi/htl#71 · opened

on Sep 7, 2026

1

htl doc: markdown API docs from module records and --- comments

ynishi/htl#5 · opened

on Sep 6, 2026

1

htl test: run test files in parallel (-j)

ynishi/htl#4 · opened

on Sep 6, 2026

1

Navigation Menu

Repository navigation

Issues

htl check writes types/htl/trait.d.tl into a project that requires htl.trait, so stock tl and other language servers see it

A #[host_module] type declares the ---@trait interfaces it implements, and a Rust trait is declared to Teal as one

[lang] trait: trait and impl Tr for R as keywords, desugared one-to-one into ---@trait, ---@defaults and trait.impl

htl rs writes a Rust trait for a ---@trait interface, and an impl of it for a Teal value, so a host holds a Teal object as dyn Trait

htl shapes and htl rs lower a record that is an interface (record R is I), with the interface's fields copied in

typeindex: give a function defined outside its record's body a structured type (Decl::info)

typeindex: keep parameter names in FnSig

A deadline on one call made from Teal, so a hook that loops forever is cut without ending the whole call

teal_types!: rebuild only when the declarations it lowers change, not on every .tl edit

typeindex: keep a function's signature in TypeExpr::Fn

Design: Rust traits generated from a .d.tl's functions, so a host interface designed in Teal is implemented in Rust against a checked signature

htl rs lowers a union of where-tagged records to one tagged Rust enum, so a Teal event union reaches the host as one type

typeindex::Decl carries its payload in its kind, so a record's declaration cannot hold a field's type information

htl shapes lowers a union of records told apart by a where clause to T.discriminated, and the tag field to T.literal, where it refuses both today

htl shapes: a run-time shape and a typed Schema<T> declaration generated from each record, so a value from outside is narrowed once at the boundary instead of cast at every read

htl check / build: parallel checking needs a detailed redesign

A record nested under a key, in a sequence or as a content payload reports a write failure under its own name, where a read failure names the path from the outer record: only flatten and tag payloads carry the path

Contract from an lshape schema: schemas/<module>.lua as a second declaration source

Rockspecs: the part of LuaRocks that is text

htl doc: markdown API docs from module records and --- comments

htl test: run test files in parallel (-j)