7546 commits

Author	SHA1	Message	Date
Ian McLerran	ea2a007834	Add List.walk_try!	2025-01-09 11:45:01 -06:00
Ian McLerran	ffa1dd5703	unified formatting for walk	2025-01-09 09:40:59 -06:00
Joshua Warner	0438c17503	Fix pnc args multiine in the presence of final comments	2025-01-08 21:25:39 -08:00
Luke Boswell	d9d2ce83d6	Merge remote-tracking branch 'remote/main' into annotate-type-signatures	2025-01-09 14:21:37 +11:00
Sam Mohr	279301faa3	Remove unused insta dependency from can	2025-01-08 18:02:44 -08:00
Luke Boswell	cc4d01f63e	allow(clippy::match_single_binding)	2025-01-09 12:27:25 +11:00
Sam Mohr	2010ada504	Fix mono tests	2025-01-08 17:15:23 -08:00
Sam Mohr	82b7279485	Fix formatting	2025-01-08 17:04:28 -08:00
Sam Mohr	2150ee2219	Remove Task from Roc	2025-01-08 17:00:40 -08:00
Luke Boswell	37cd04c002	Merge branch 'main' into simplify-refcount	2025-01-09 10:18:00 +11:00
Anthony Bullard	20b20019a1	Fix snapshot that somehow I missed	2025-01-08 16:05:42 -06:00
Anthony Bullard	9b9b6d39f3	Fix clippy	2025-01-08 15:37:03 -06:00
Anthony Bullard	3a6225c354	Fix builtin formatting	2025-01-08 15:20:04 -06:00
Anthony Bullard	739dda6f5e	Cover hidden pattern match cases for Pizza	2025-01-08 15:05:55 -06:00
Anthony Bullard	898b3f55e5	Move PNC apply to separate Expr/Pattern variant	2025-01-08 14:47:49 -06:00
Sam Mohr	8e5d875604	Merge branch 'main' into auto-snake-case	2025-01-08 01:51:12 -08:00
Luke Boswell	3e0c626bf6	Merge pull request #7401 from roc-lang/cleanup-examples ... Cleanup Examples folder	2025-01-08 20:30:27 +11:00
Luke Boswell	68f4aabbce	remove example formatting test from test_syntax	2025-01-08 16:36:34 +11:00
Luke Boswell	99dfc5529d	Merge pull request #7450 from roc-lang/ayaz/bugfix-ts ... Minor simplifications to typechecker	2025-01-08 16:28:25 +11:00
Sam Mohr	3d4c302807	Fix tests	2025-01-07 14:01:03 -08:00
Sam Mohr	11b720d355	Fix docs issues	2025-01-07 13:18:58 -08:00
Sam Mohr	7a2f8bfa71	Merge branch 'main' into auto-snake-case	2025-01-07 13:18:41 -08:00
Luke Boswell	8540aa1a14	Merge pull request #7321 from shua/fromutf8 ... DO NOT MERGE update Str.fromUtf8 error type	2025-01-08 07:56:40 +11:00
Anton-4	6ccc828ee5	correct error message	2025-01-07 16:32:16 +01:00
Timon	716374cfc0	Fixed Issue #6929 Escape unicode when inspecting a Str (#7411) ... * Fixed Issue #6929 Escape unicode when inspecting Str added AUTHORS improved comment * update generated mono tests * fixed formatting * fixed merge conflicts	2025-01-06 18:52:50 +01:00
Sam Mohr	83b8b0e557	Update uitests	2025-01-05 21:25:22 -08:00
Sam Mohr	f524d35114	Fix module formatting	2025-01-05 21:04:58 -08:00
Ayaz Hafiz	be99b82319	Drop debug assert ... I don't think this assert is actually accurate.	2025-01-05 23:54:37 -05:00
Ayaz Hafiz	561f3d9711	Store lambda set variables as flex inference variables ... This is actually correct - the rigid approach is not. Lambda set variables should be inferred in-scope.	2025-01-05 23:54:37 -05:00
Ayaz Hafiz	54cc5e4c29	Unify let-introduction in a single path ... Remove branches on determining how let-bindings are introduced to the scope. This is maybe a little more inefficient, but I think it is a huge simplification. One additional change this required was changing how fx suffixes are checked. The current implementation would add additional constraints for patterns in let bindings conditionally. However, this is unnecessary. I believe it is sufficient to check the fx suffix by running the checks on all introduced symbols after the type is well known (i.e. the body is checked).	2025-01-05 23:54:37 -05:00
Ayaz Hafiz	bd2dd66c96	Store rigid vars with location during constraining	2025-01-05 23:54:36 -05:00
Ayaz Hafiz	830f0ac35f	Bugfix association of inferred-tag-extension variables ... These are inferred vars, not rigids.	2025-01-05 23:54:36 -05:00
Luke Boswell	89ef225f5b	Merge pull request #7468 from joshuawarner32/fuzzing-bugs-9 ... And... more fuzzing bugs!	2025-01-06 14:28:18 +11:00
Sam Mohr	cd0e2a4474	Merge branch 'main' into auto-snake-case	2025-01-05 16:50:24 -08:00
Joshua Warner	9fcefb3fd4	Remove panic to appease the panic tracker for now	2025-01-05 16:49:08 -08:00
Sam Mohr	0f90f53b35	Update syntax tests	2025-01-05 16:41:40 -08:00
Joshua Warner	090473434d	Move backtracking for implements to specific spaces case that it's actually needed for, to avoid excess parsing work in extreme cases	2025-01-05 15:10:13 -08:00
Joshua Warner	6edfc0aa90	Fix double-wrapping of spaces before implements opaque keyword by making them distinct	2025-01-05 15:10:13 -08:00
Joshua Warner	8955f3e124	Fix indentation of record updates and calculation of return indentation	2025-01-05 15:10:12 -08:00
Joshua Warner	35ffbcd16b	Fix where precedence vs funcs	2025-01-05 15:10:12 -08:00
Joshua Warner	b7ab25ee2e	Move minimize logging to a new dump_syntax target	2025-01-05 15:10:12 -08:00
Luke Boswell	b67a43bb5d	Merge pull request #7467 from gamebox/issue-7090 ... Support '??' syntax for optional record fields	2025-01-06 09:36:30 +11:00
Sam Mohr	f95d0f8df6	Update derive tests	2025-01-05 07:34:53 -08:00
Sam Mohr	1e5b16da36	Fix formatting	2025-01-05 06:39:47 -08:00
Sam Mohr	865a399ba2	Merge branch 'main' into auto-snake-case	2025-01-05 05:28:30 -08:00
Sam Mohr	0edbf16d55	More progress	2025-01-05 05:16:47 -08:00
Sam Mohr	b56fbd38e1	Progress on updating entire compiler for snake_case	2025-01-05 03:48:03 -08:00
Anthony Bullard	3295f80c30	Address feedback	2025-01-04 17:01:12 -06:00
Anthony Bullard	a7321e086a	Remove println	2025-01-04 14:35:07 -06:00
Anthony Bullard	a24fe430b4	Support '??' syntax for optional record fields	2025-01-04 14:26:20 -06:00