32342 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Richard Feldman	c5c2f39526	Add some empty list tests and snapshots	2025-06-27 12:57:03 -04:00
Richard Feldman	7435b90efe	Add list_unbound type	2025-06-27 12:50:29 -04:00
Richard Feldman	77b730871b	Remove unnecessary vars from patterns	2025-06-27 11:13:37 -04:00
Richard Feldman	c07e191249	Make unbound literals no longer make a fresh var	2025-06-27 10:23:23 -04:00
Richard Feldman	acdd460df9	Move var out of int and frac requirements	2025-06-27 10:19:45 -04:00
Richard Feldman	5dc98cca3e	Merge pull request #7883 from roc-lang/remove-number-var ... Remove redundant number var	2025-06-27 10:19:27 -04:00
Richard Feldman	f275828de2	Remove some obsolete freshFromContent calls	2025-06-27 09:22:41 -04:00
Richard Feldman	62acbf741d	Remove unnecessary switch	2025-06-27 09:14:12 -04:00
Richard Feldman	c16d899dbd	Predict fewer node indices	2025-06-27 09:12:20 -04:00
Richard Feldman	80aac34ac2	Clean up unused code	2025-06-27 09:09:58 -04:00
Richard Feldman	eb443c7fa6	Update snapshots	2025-06-27 09:09:58 -04:00
Anton-4	78c836efd3	Fix roc check non-main file (#7870) ... 525589537 Closes #7127 #7429 #6835 Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>	2025-06-27 14:34:34 +02:00
Richard Feldman	771fd74c62	Remove redundant num vars	2025-06-27 08:16:48 -04:00
Anton-4	e58da7fd58	use new CI server (#7882) ... * use new CI server * fix fuzz lockfile 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-06-27 12:15:22 +02:00
Luke Boswell	da50feb75c	Merge pull request #7879 from roc-lang/record-destruct ... Implement record de-structures	2025-06-27 14:08:56 +10:00
Richard Feldman	78eacf6b49	Delete num_var and frac_var from CIR	2025-06-26 21:51:39 -04:00
Richard Feldman	0fb6937e72	Delete some unnecessary CIR number fields	2025-06-26 21:50:50 -04:00
Luke Boswell	69cbaf4bcf	add doc comments, update snapshots	2025-06-27 11:50:13 +10:00
Luke Boswell	caf00e897b	WIP record destructures	2025-06-27 11:47:02 +10:00
Luke Boswell	7a60a7bed6	Merge pull request #7873 from roc-lang/records-can ... Implement canonicalisation for Records	2025-06-27 11:46:20 +10:00
Richard Feldman	e0765f0fd5	Merge remote-tracking branch 'origin/main' into records-can	2025-06-26 21:37:23 -04:00
Luke Boswell	6375798a59	Merge pull request #7878 from roc-lang/enforce-literal-sizes ... Enforce number literal sizes	2025-06-27 08:57:10 +10:00
Richard Feldman	362c37e814	Tweak error message again	2025-06-26 18:16:10 -04:00
Richard Feldman	b656a75d71	Merge remote-tracking branch 'origin/main' into enforce-literal-sizes	2025-06-26 18:14:15 -04:00
Richard Feldman	bde856c8d1	Tweak error message	2025-06-26 18:13:30 -04:00
Richard Feldman	a9fe175a62	Merge remote-tracking branch 'origin/main' into enforce-literal-sizes	2025-06-26 18:08:56 -04:00
Luke Boswell	bc21eafabe	Merge pull request #7877 from roc-lang/push-ptrqqrqumwrm ... Implement tuple expr type solving	2025-06-27 08:06:51 +10:00
Richard Feldman	258b66b3c0	Improve error messages	2025-06-26 18:04:58 -04:00
Richard Feldman	e60eb9e41a	Enforce number literal bounds in type checking	2025-06-26 18:04:25 -04:00
Luke Boswell	0691e26e9a	Merge pull request #7876 from gamebox/record-shorthand-in-patterns ... Parse record shorthand and as syntax in patterns	2025-06-27 08:00:59 +10:00
Anthony Bullard	4b1cb138c6	Remove std.debug.print calls	2025-06-26 12:46:51 -05:00
Jared Ramirez	002161641e	Solve types for tuples	2025-06-26 13:09:50 -04:00
Anthony Bullard	ad49cc6c25	Parse record shorthand and as syntax in patterns	2025-06-26 07:28:24 -05:00
Luke Boswell	5b9e44fdb2	improve doc comments	2025-06-26 17:37:20 +10:00
Luke Boswell	9b5e4989f7	cleanup comments	2025-06-26 17:24:13 +10:00
Luke Boswell	15379434c7	fix NodeStore for expr_record and support rcoed shorthand syntax	2025-06-26 17:16:05 +10:00
Luke Boswell	8463f335d9	Remove redundant record_var in CIR.Expr	2025-06-26 16:44:50 +10:00
Luke Boswell	562e2a6b3b	WIP type_check records	2025-06-26 16:29:45 +10:00
Luke Boswell	5f4fa6af23	WIP type checking for records	2025-06-26 15:23:00 +10:00
Luke Boswell	852626fcb6	WIP type annotations	2025-06-26 15:10:00 +10:00
Luke Boswell	05ad361244	Fix statement snapshots, implement more Can for type annotations	2025-06-26 14:55:55 +10:00
Luke Boswell	32710be5bc	fix field_access SExpr for AST	2025-06-26 14:32:56 +10:00
Luke Boswell	ad4e71d987	always generate CANONICALIZE section in snapshots	2025-06-26 14:32:20 +10:00
Luke Boswell	341e04cc43	only include non-duplicate record fields in CIR	2025-06-26 14:10:12 +10:00
Luke Boswell	addbed5c65	use identsHaveSameText for more efficient Ident comparison	2025-06-26 13:51:24 +10:00
Luke Boswell	283e5e71e9	implement diagnostic for duplicate record field names	2025-06-26 13:30:05 +10:00
Luke Boswell	a66cf728a7	update snapshots	2025-06-26 13:05:25 +10:00
Luke Boswell	d0c6d82475	update snapshots	2025-06-26 13:04:16 +10:00
Luke Boswell	272e311811	implement basic record canonicalization	2025-06-26 13:04:15 +10:00
Luke Boswell	9284044079	Merge pull request #7874 from roc-lang/record-snaps ... Add various examples of using records using 0.1 syntax	2025-06-26 13:03:21 +10:00