2326 commits

Author	SHA1	Message	Date
Luke Boswell	dd9b78189c	migrate decl, var, ty_decl, and imports	2025-06-27 14:48:36 +10:00
Luke Boswell	bb231745ed	migrate if-then-else and match	2025-06-27 14:40:02 +10:00
Luke Boswell	8568625298	migrate binop, dot-access, and unary op shapes	2025-06-27 14:29:48 +10:00
Luke Boswell	b2b0adf8a9	migrate tag shapes	2025-06-27 14:23:55 +10:00
Luke Boswell	38623431ea	migrate tuple shapes	2025-06-27 14:07:05 +10:00
Luke Boswell	a9eaa403d5	migrate List shapes	2025-06-27 13:57:22 +10:00
Luke Boswell	9bac5919b5	migrate record shapes	2025-06-27 13:48:11 +10:00
Luke Boswell	50a25926df	refactor to use union for Node.Data in parser	2025-06-27 13:29:54 +10:00
Richard Feldman	e0765f0fd5	Merge remote-tracking branch 'origin/main' into records-can	2025-06-26 21:37:23 -04: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
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
Luke Boswell	d815a3aa58	zig lints	2025-06-26 12:57:01 +10:00
Luke Boswell	81b3e4a9e1	adress feedback	2025-06-26 12:36:45 +10:00
Luke Boswell	43bfa58cba	adderss feedback	2025-06-26 12:36:27 +10:00
Luke Boswell	c9941a44ae	Merge pull request #7875 from roc-lang/type-check-annotations ... Basic annotation type-checking	2025-06-26 11:41:45 +10:00
Richard Feldman	7c35ec023d	Add a missing int_precision case	2025-06-25 21:25:43 -04:00
Richard Feldman	663f5f13e9	Use Zig camelCase function naming convention	2025-06-25 21:25:43 -04:00
Richard Feldman	3d6c5cd406	Remove unnecessary special-case	2025-06-25 21:25:43 -04:00
Richard Feldman	862e7cdfa1	Change FloatingPoint to Fraction	2025-06-25 21:25:43 -04:00
Richard Feldman	5c5935d711	Add basic type-checking of type annotations	2025-06-25 21:25:43 -04:00
Richard Feldman	c44123c3e5	Precision should say Decimal, not Dec	2025-06-25 21:03:58 -04:00
Richard Feldman	0fedbe6f1c	Make getAnnotation take a const* NodeStore	2025-06-25 21:03:21 -04:00
Richard Feldman	683d79449c	Fix canonicalization of type annotations	2025-06-25 21:03:09 -04:00
Luke Boswell	d4e9584c6a	run snapshot tool	2025-06-26 11:01:11 +10:00
Luke Boswell	c08ada6296	add various examples of using records using 0.1 syntax	2025-06-26 10:56:31 +10:00