2 Commits

Author	SHA1	Message	Date
Brandon Lucas	c81349d82c	fix: resolve all stress test bugs ... - Record equality: add Record case to values_equal in interpreter - Invalid escapes: error on unknown escape sequences in lexer - Unknown effects: validate effect names in check_function with suggestions - Circular types: add DFS cycle detection in check_type_cycles - Parser: require | for enum variants, enabling proper type alias syntax All 265 tests pass. Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>	2026-02-14 02:45:52 -05:00
Brandon Lucas	07a35f1829	docs: add stress test findings with identified bugs and gaps ... Documents findings from systematic testing of parser, typechecker, and REPL: - 5 critical bugs (record equality, invalid escapes, unknown effects, etc.) - Parser missing features (hex literals, list patterns, guard clauses) - Poor error messages for common mistakes - REPL issues (:type doesn't show type, interpolation syntax) Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>	2026-02-14 02:20:41 -05:00