Commit graph

126 commits

Author SHA1 Message Date
Luke Boswell
0edb5fe2df
Merge remote-tracking branch 'remote/fix-issue8654' into implement-box 2025-12-16 07:29:48 +11:00
Luke Boswell
7694fc5d42
Merge remote-tracking branch 'remote/main' into implement-box 2025-12-16 07:17:45 +11:00
Anton-4
113fff55a2
fix #8654 2025-12-15 19:39:01 +01:00
Anton-4
60336fd1a5
expand all_syntax_test (#8685) 2025-12-15 19:20:23 +01:00
Luke Boswell
b541a6b6db
Merge remote-tracking branch 'remote/main' into implement-box 2025-12-14 19:01:56 +11:00
Richard Feldman
79a08d5d0f
Fix List.get with method syntax causing cycle in layout computation
When calling List.get with method syntax (my_list.get(0)), the
interpreter was causing a cycle in layout computation because rigid
type variables weren't being properly resolved.

The fix unifies the method's first parameter type with a copy of the
receiver type before instantiation. This properly resolves rigid type
variables (like `item` in List.get) to concrete types. A copy of the
receiver type is created before unification to avoid corrupting the
original type, since unification modifies both sides.

This is the same approach used for no-args method dispatch (like
List.first), but with the additional copy step needed because the
multi-args path may reuse types across multiple method invocations.

Fixes #8662

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

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2025-12-13 15:43:09 -05:00
Richard Feldman
3be74028f7
Merge remote-tracking branch 'origin/main' into implement-box 2025-12-12 21:56:27 -05:00
Richard Feldman
58cede45b2
Add for clauses to platform modules 2025-12-12 21:21:51 -05:00
Anton-4
aa2e1b80cd
All roc syntax test (#8622)
* added all_roc_syntax_test

* fmt + test

* full test

---------

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2025-12-12 18:07:03 +01:00
Richard Feldman
9cd58ee4ab
Merge pull request #8649 from roc-lang/fix-double-decref
Fix double-decref
2025-12-12 10:05:53 -05:00
Richard Feldman
fae5ddbbe3
Fix double-decref bug in binop_apply and unary_op_apply
When handling low-level lambdas (like Str.is_eq), the code was decrefing
arguments with borrow semantics, but the defer statements at the top of
these functions already handle decrefing. This caused a double-free when
comparing heap-allocated strings (24+ characters).

The fix removes the explicit decrefs in the low-level lambda paths since
the defer statements already handle cleanup.
2025-12-12 09:01:54 -05:00
Richard Feldman
e1019be2ef
Merge pull request #8627 from roc-lang/fix-another-aoc
Fix tag union handling
2025-12-12 07:09:54 -05:00
Anton-4
0608d4c338
Fix #8517 (#8613)
temp fix expect stack overflow

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2025-12-12 11:30:33 +01:00
Richard Feldman
f0cf4e2007
Merge origin/main into fix-another-aoc
Resolved merge conflicts in:
- src/cli/test/fx_test_specs.zig (combined test entries from both branches)
- test/snapshots/fuzz_crash/fuzz_crash_027.md (took main's error message format)
- test/snapshots/fuzz_crash/fuzz_crash_028.md (took main's error message format)
2025-12-11 23:18:39 -05:00
Richard Feldman
cdafc209b9
Merge origin/main into fix-list-first-panic-8633
Resolved conflict in fx_test_specs.zig by including both:
- list_append_stdin_uaf.roc test from main
- list_first_method.roc and list_first_function.roc regression tests from this branch

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

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2025-12-11 21:43:44 -05:00
Richard Feldman
2d863e9073
Fix panics 2025-12-11 21:13:15 -05:00
Richard Feldman
a3d68dbc37
Add a missing refcount 2025-12-11 16:32:07 -05:00
Richard Feldman
f92d84323e
Fix tests 2025-12-11 11:49:45 -05:00
Richard Feldman
ca1a1fa5a6
Fix tag union handling 2025-12-11 11:46:15 -05:00
Richard Feldman
7efcc6ab59
Fix rank unification bug 2025-12-10 20:13:20 -05:00
Richard Feldman
7cbb76b776
Delete redundant tests 2025-12-10 13:00:30 -05:00
Richard Feldman
2f6fe8867c
Fix fold_rev static dispatch bug 2025-12-10 12:58:45 -05:00
Richard Feldman
d86b85e99f
Reproduce index out of bounds crash 2025-12-09 22:26:11 -05:00
Richard Feldman
4bdaae210d
Rename Str.inspekt to Str.inspect
(now that inspect is no longer a keyword)
2025-12-09 20:03:58 -05:00
Richard Feldman
7281d98833
Fix inspect 2025-12-09 20:03:58 -05:00
Luke Boswell (Linux-Desktop)
4d592a2190
fix segfaults - list_concat double decref and findCapturedValue memory leak 2025-12-09 18:21:24 +11:00
Luke Boswell
dcb602c5ad
fix windows support for platforms and glibc symbols 2025-12-09 15:39:46 +11:00
Luke Boswell
4885c439f5
Merge remote-tracking branch 'remote/main' into roc-build 2025-12-09 11:08:22 +11:00
Luke Boswell
e938c0cccc
ensure test platforms have targets 2025-12-09 09:07:56 +11:00
Ameen Radwan
ea76b7b1ee
check for parse/token errors and print them on run (#8586)
* check for parse/token errors and print them on run

* return early on parse fail if errors are not allowed

* fix merge issue
2025-12-08 21:10:16 +01:00
Richard Feldman
9f29b128d1
Treat work stack overflow as normal stack overflow 2025-12-08 09:23:41 -05:00
Richard Feldman
e2a60faa35
Fix segfault by adding type annotations 2025-12-08 09:08:55 -05:00
Richard Feldman
d6e802c50f
Add some new tests 2025-12-08 07:44:45 -05:00
Richard Feldman
4b6876ce98
Merge remote-tracking branch 'origin/main' into fix-flaky-bug 2025-12-08 07:44:42 -05:00
Luke Boswell
1ff3718bd6
add supported targets for Windows in fx platform 2025-12-08 20:23:17 +11:00
Luke Boswell
7e47cda6de
WIP targets validation 2025-12-08 14:14:23 +11:00
Luke Boswell
433aca7548
Merge remote-tracking branch 'remote/main' into roc-build 2025-12-08 11:37:35 +11:00
Richard Feldman
f58dd26ecd
Merge remote-tracking branch 'origin/main' into fix-flaky-bug 2025-12-07 19:33:40 -05:00
Richard Feldman
d95549de43
Merge remote-tracking branch 'origin/main' into roc-program-stack-overflow 2025-12-07 19:33:14 -05:00
Luke Boswell
3d818c326d
Merge remote-tracking branch 'remote/main' into fx-behvaiour-tests 2025-12-08 09:34:26 +11:00
Richard Feldman
067dc4a16c
Fix invalid method receiver on structural types 2025-12-07 09:42:26 -05:00
Richard Feldman
c4591701b1
Fix receiver bug 2025-12-07 07:18:26 -05:00
Richard Feldman
b2034b944b
Revise some error messages 2025-12-06 13:07:52 -05:00
Richard Feldman
c2a33a8313
Revise stack overflow error message 2025-12-06 13:07:52 -05:00
Richard Feldman
e3e9b2b135
Add div by 0 checks 2025-12-06 13:07:52 -05:00
Richard Feldman
7faec88e29
Add stack overflow handling for roc programs 2025-12-06 13:07:52 -05:00
Richard Feldman
278656943f
Test for stack overflows in roc programs 2025-12-06 13:07:52 -05:00
Richard Feldman
77f00acf83
Delete some obsolete tests 2025-12-06 12:18:11 -05:00
Richard Feldman
cad34b51be
Fix flaky bug 2025-12-06 11:47:20 -05:00
Richard Feldman
6a947a0d81
Fix env bug 2025-12-06 08:03:57 -05:00