Repository navigation
2026.09.06-2fa2e8749
·
6 commits
to master
since this release
Immutable
release. Only release title and notes can be modified.
zip: add zip.reader as a single-shape read-mode entry point (#389)
zip.open's "r" mode return type still erases to a zip.Reader |
zip.Writer | zip.Appender union in the generated Teal types, forcing
a from-any cast downstream. zip.create and zip.append already give
"w" and "a" their own single-shape entry points; zip.reader closes
the read-mode gap the same way, registering the existing
LuaZipOpenReader (already exactly the right signature, already what
zip.open("r", ...) dispatches to) under kLuaZip and documenting it
with a zip.create-shaped annotation.
Claude-Session: https://claude.ai/code/session_01HrDAg7zGvuPZuechv2xuEJ
Co-authored-by: Claude <noreply@anthropic.com>