roc/test
Richard Feldman 3bdab22932
Fix mono type annotations to use pattern types instead of transformed expression types
When closures are transformed to tags, the transformed expressions don't
have valid type variables in the type store. This caused incorrect types
like "Str", "[]", "[Error]" to appear in the MONO section.

The fix uses the pattern's type variable (set during type checking before
transformation) instead of looking at the transformed expression's type.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2025-12-22 22:36:31 -05:00
..
cli Fix #8699 (#8701) 2025-12-17 19:54:17 +01:00
fuzzing
fx Convert fx test to eval snapshot test for issue #8689 2025-12-16 12:14:25 -05:00
fx-open Rename Str.inspekt to Str.inspect 2025-12-09 20:03:58 -05:00
int try fix return pointer alignment mismatch 2025-12-17 22:41:23 +11:00
playground-integration Add lint for no // ======= comments 2025-12-10 15:31:53 -05:00
snapshots Fix mono type annotations to use pattern types instead of transformed expression types 2025-12-22 22:36:31 -05:00
str Merge remote-tracking branch 'remote/cli-err-reporting' into implement-box-with-cli-err-reporting 2025-12-17 15:28:54 +11:00
wasm expand scope of @panic purge 2025-12-16 16:16:04 +11:00
serialization_size_check.zig Revert rank change + required type alias strategy 2025-12-18 11:16:50 -05:00