roc/test
Richard Feldman 040c957d4a
Implement type defaulting for mono snapshot tests
Add getDefaultedTypeString() that defaults polymorphic types to concrete types:
- Flex vars with from_numeral constraint → Dec
- Tag unions matching [True, False] or [True, .._] → Bool
- Recursively defaults element types in List and Tuple

MONO section now shows properly monomorphized types:
- 42 : Dec
- [1, 2, 3] : List(Dec)
- (1, 2) : (Dec, Dec)
- True : Bool
- if True 1 else 2 : Dec

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

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2025-12-22 09:07:15 -05:00
..
cli Fix #8699 (#8701) 2025-12-17 19:54:17 +01:00
fuzzing Don't special-case Str 2025-10-24 10:18:15 -04:00
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 Implement type defaulting for mono snapshot tests 2025-12-22 09:07:15 -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