Skip to content

[types] Fetch Lua and TypeScript for the render checks - #1334

Merged
gmh5225 merged 1 commit into
devfrom
claude/fetch-lua-tsc
Oct 18, 2026
Merged

gmh5225 merged 1 commit into
devfrom
claude/fetch-lua-tsc

Conversation

@gmh5225

@gmh5225 gmh5225 commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

Summary

check_type_renders.py skipped Lua wherever no Lua 5.3 or later was installed, and TypeScript wherever tsc was not. Neither is installed on this host, so both were skipped on every run.

scripts/fetch_render_toolchains.py now also fetches:

  • Lua 5.4.9, built from lua.org's sources (make linux, which needs no readline), checked against the SHA-256 lua.org lists;
  • TypeScript 5.9.3 from npm, which checks the package against the registry's digest (--ignore-scripts).

Both go into toolchains.json as lua and tsc. The checker takes a Lua or tsc it finds on PATH first, and these where it finds none; when neither is there, the skip names the script.

Verification

  • The fetch script completes every step: Rust, i386, armv7 and win32 Python, the cross C libraries, bionic, Lua and TypeScript.

  • Lua and TypeScript now run instead of being skipped:

    Input Result
    A declared sample, under microsoft LLP64 28 ok, 0 skipped
    The same sample, under mingw-x86 28 ok, 0 skipped
    The same sample, under i386-sysv 22 ok, 0 skipped
    The same sample, under aapcs32 22 ok, 0 skipped
    WindowsKernelX86 29 ok
    The default fixture 25 ok, 3 failing
  • The default fixture's 3 failures are the MinGW compile of its Windows spelling (redefinition of 'tagLC_ID' and the CRT's locale records). [types] Keep MinGW's x87 long double and spell it exactly in exported C #1332 reported them; the next change, which takes C library types from the system's headers, addresses them.

check_type_renders.py skipped Lua wherever no Lua 5.3 or later was
installed, and TypeScript wherever tsc was not.  The fetch script now
builds Lua 5.4.9 from lua.org's sources, checked against the SHA-256 it
lists, and installs TypeScript 5.9.3 from npm; the checker takes them
where it finds no other.
@gmh5225
gmh5225 merged commit 4425f74 into dev Oct 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants