Commit graph

35089 commits

Author SHA1 Message Date
Norbert Hajagos
dcb38b9034
Merge branch 'main' into fix-detect-libc 2025-11-17 13:32:12 +01:00
Norbert Hajagos
3b210ef9d9
update call sites to use base.Allocators 2025-11-17 12:35:10 +01:00
Norbert Hajagos
6054063ef8
accept base.Allocators in findLibc 2025-11-17 12:06:33 +01:00
Norbert Hajagos
c587eac92b
remove unneeded arena.dupe()-s 2025-11-17 11:48:38 +01:00
Richard Feldman
9f9192a416
Merge pull request #8386 from roc-lang/dec-by-default
Default to `Dec` for unresolved number types
2025-11-16 19:24:33 -05:00
Richard Feldman
fadf5c4d4a
Use Dec by default for number literals 2025-11-16 18:36:53 -05:00
Richard Feldman
0bcf18e3c9
Merge pull request #8385 from roc-lang/opaque-builtins
Support opaque syntax, use in builtins
2025-11-16 18:10:04 -05:00
Richard Feldman
a99f9c03ab
Fix for the fix 2025-11-16 17:43:16 -05:00
Richard Feldman
828e995875
Revise that approach better 2025-11-16 17:32:09 -05:00
Richard Feldman
80e7eb57a6
Fix compiler crash 2025-11-16 17:32:09 -05:00
Richard Feldman
fee2b35c52
Add NumLiteral to Builtins 2025-11-16 17:32:09 -05:00
Richard Feldman
24a8f9527d
Use :: in builtins 2025-11-16 17:13:31 -05:00
Richard Feldman
fb8a0d2795
Add support for :: 2025-11-16 17:13:11 -05:00
Norbert Hajagos
ef876278b7
add struct without allocator for tmp storing of LibcInfo 2025-11-16 20:01:05 +01:00
Norbert Hajagos
86220f1325
remove managed list with unneeded alloc.dupe calls 2025-11-16 19:46:55 +01:00
Norbert Hajagos
7732a84eaf
all helpers use arenas 2025-11-16 17:40:26 +01:00
Norbert Hajagos
3b259c0732
in the middle of rewriting to arenas 2025-11-16 17:21:49 +01:00
Norbert Hajagos
ba34bcad15
remove double free 2025-11-16 11:08:14 +01:00
Anton-4
824c243d06
more Result>Try updates (#8382)
* more Result>Try updates

* [WIP] Fix typo in Try variable names (#8383)

* Initial plan

* Add exception for 'Trys' to typos.toml

Co-authored-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>

* not this one

---------

Co-authored-by: Copilot <198982749+Copilot@users.noreply.github.com>
2025-11-14 17:10:55 +01:00
Richard Feldman
b012034082
Merge pull request #8381 from roc-lang/type-recursion
Recursive static dispatch constraints
2025-11-14 09:46:30 -05:00
Richard Feldman
dcf4c2aa6f
Fix lints 2025-11-13 23:26:41 -05:00
Richard Feldman
d15fe697cf
Recreate the number test without actual nums 2025-11-13 23:23:27 -05:00
Richard Feldman
e7b9422339
Update some docs and implementation a bit 2025-11-13 23:13:27 -05:00
Richard Feldman
19c257a841
Write recursion vars 2025-11-13 23:08:00 -05:00
Richard Feldman
a98282c37d
Equiricursive unification 2025-11-13 23:02:20 -05:00
Richard Feldman
76af84b12d
Store recursion info 2025-11-13 22:54:56 -05:00
Richard Feldman
92b54162c0
Detect recursive types 2025-11-13 22:45:43 -05:00
Richard Feldman
867b38e27e
Add .recursion_var 2025-11-13 22:36:55 -05:00
Anton-4
b69a3c8a98
update .rules (#8379)
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2025-11-13 19:52:34 +01:00
Anton-4
cea6d56329
WIP Fix unification custom type + actually run tests (#8376)
* initial check wiring script

* use wiring script + fixes

* add assertNoErrors

* test fixes

* fix unification for  types
2025-11-11 21:12:55 +01:00
Anton-4
10fb170c2e
Check all defined tests are actually run + fixes (#8375)
* initial check wiring script

* use wiring script + fixes

* add assertNoErrors

* test fixes

* add wiring check exception

* Add check_test_wiring.zig to CI manager filters

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>

---------

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2025-11-11 18:54:17 +01:00
Fabian Schmalzried
a55b048dad
Change the handling of invalid single quote to improve error messages. (#8370)
* add value_not_exposed report

* Change handling of invalid single-quote.

* fix typo
2025-11-11 13:42:35 +01:00
Richard Feldman
856b909a57
Merge pull request #8373 from roc-lang/fold
Add List.fold
2025-11-11 07:22:29 -05:00
Richard Feldman
ccb7454dc2
Merge pull request #8374 from roc-lang/fix-fmt
Fix single-line lambda formatting
2025-11-11 07:21:45 -05:00
Richard Feldman
8000a3a3ce
Update snapshots 2025-11-10 23:27:52 -05:00
Richard Feldman
ec536bc953
Merge remote-tracking branch 'origin/fix-fmt' into fold 2025-11-10 23:15:02 -05:00
Richard Feldman
f9b0c94c70
Remove arbitrary depth limit 2025-11-10 23:13:58 -05:00
Richard Feldman
41c6615077
Fix formatting bug 2025-11-10 23:10:30 -05:00
Richard Feldman
219d6b871f
Add fold closure test 2025-11-10 22:28:37 -05:00
Richard Feldman
70bf3078fa
Fix a bug and unskip some tests 2025-11-10 22:15:57 -05:00
Richard Feldman
bc8394f2b6
Don't use Str.concat in an example 2025-11-10 21:10:34 -05:00
Richard Feldman
b291ef3bce
Remove Str.concat placeholder 2025-11-10 21:07:44 -05:00
Richard Feldman
55d1810549
Remove some debug logging 2025-11-10 20:34:35 -05:00
Richard Feldman
701fc175c9
Merge remote-tracking branch 'origin/main' into fold 2025-11-10 20:11:23 -05:00
Richard Feldman
af96b42216
Fix some interpreter polymorphism stuff 2025-11-10 19:04:44 -05:00
Richard Feldman
bd3b0b39f7
Merge pull request #8363 from roc-lang/add-more-misspellings
Add more common misspellings
2025-11-10 16:49:43 -05:00
Anton-4
bed0e9ceee
Test filter fixes (#8371)
* add forgotten tests + fixes

* fmt

* filter fixes

* filter out test wrappers

* comments

* merge fixes

* typos fix
2025-11-10 20:43:12 +01:00
Richard Feldman
018b1f9688
Fix type resolution in interpreter 2025-11-10 13:14:49 -05:00
Anton-4
d11a8e0a45
clean up retry output (#8367)
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2025-11-10 18:59:35 +01:00
Richard Feldman
f212eb79af
Add List.fold 2025-11-10 09:39:34 -05:00