32589 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Richard Feldman	7997aa4b70	Fraction literals in patterns are Dec, not Frac	2025-07-03 15:15:36 -04:00
Richard Feldman	4b4e68aa9c	Merge pull request #7929 from roc-lang/push-mvytkrukvqnx ... Type Checking Odds & Ends	2025-07-03 07:57:30 -04:00
Jared Ramirez	c795f9d902	Don't allocate when checking types for lambda expr	2025-07-02 22:02:09 -07:00
Jared Ramirez	5bc80aea4e	Don't allocate when checking types for record expr	2025-07-02 22:00:33 -07:00
Jared Ramirez	a379ebeee8	Move check_type tests	2025-07-02 22:00:33 -07:00
Jared Ramirez	fc1dc04b3d	Drop tuple_unbound	2025-07-02 22:00:33 -07:00
Jared Ramirez	77a2160579	Fix tuple elem canonicalization & type checking	2025-07-02 22:00:21 -07:00
Luke Boswell	2a2a9bdbb9	Merge pull request #7925 from roc-lang/refactor-cir ... Refactor CIR	2025-07-03 12:16:55 +10:00
Luke Boswell	2633697a67	Merge remote-tracking branch 'remote/main' into refactor-cir	2025-07-03 12:00:31 +10:00
Luke Boswell	27582ee9f7	module docs for CIR.Statement	2025-07-03 11:54:39 +10:00
Luke Boswell	cbb29d7196	update correct record update syntax in snapshots, include error example	2025-07-03 11:52:05 +10:00
Luke Boswell	aacef3d25d	cleanup CIR.Expression	2025-07-03 11:49:41 +10:00
Luke Boswell	b6dec3d930	Merge pull request #7928 from roc-lang/record-fixes ... Fix a record unification bug	2025-07-03 10:55:28 +10:00
Luke Boswell	f7f7464b0d	add error message for invalid f64 literals in patterns	2025-07-03 10:55:15 +10:00
Luke Boswell	50638f5dcd	WIP Pattern Docs and remove CIR.Pattern.f64_literal	2025-07-03 10:36:25 +10:00
Richard Feldman	d0d07201fd	Fix record unification bug	2025-07-02 20:31:55 -04:00
Luke Boswell	01d97d6a4c	DRY CIR.NodeStore using comptime helpers	2025-07-03 09:53:30 +10:00
Luke Boswell	097dbf81ad	move If into Expression, separate lookup external and local enum	2025-07-03 09:27:55 +10:00
Luke Boswell	3e17af1db5	fix tests	2025-07-03 09:21:58 +10:00
Luke Boswell	60af3fffbe	improve doc comments on Statements	2025-07-03 09:21:58 +10:00
Luke Boswell	4bb7e741e7	refactor CIR.TypeAnno to separate file	2025-07-03 09:21:58 +10:00
Luke Boswell	3ce8ada9cd	refactor CIR.Pattern into separate file	2025-07-03 09:21:57 +10:00
Luke Boswell	bb6630f35f	refactor CIR.Statement into own file	2025-07-03 09:21:57 +10:00
Luke Boswell	8cdd3e4e10	refactor CIR.Expr into a separate file	2025-07-03 09:21:45 +10:00
Jared Ramirez	0d4d153184	Merge pull request #7927 from roc-lang/push-rymulzprnovl ... Add back type checking `match`, stub binop	2025-07-02 16:18:16 -07:00
Jared Ramirez	be6ed7d8af	Add back type checking match, stub binop	2025-07-02 16:10:22 -07:00
Richard Feldman	10de106f45	Merge pull request #7923 from roc-lang/fx-revamp ... Fix a type inference bug, remove effect vars	2025-07-02 18:49:09 -04:00
Kiryl Dziamura	ac2261548d	Merge pull request #7917 from kdziamura/cleanup-tokenize ... Cleanup tokenize	2025-07-03 00:34:03 +02:00
Richard Feldman	ce60e4f2eb	Merge origin/main into fx-revamp and resolve conflicts	2025-07-02 18:32:52 -04:00
Luke Boswell	8a36ba985d	Merge pull request #7926 from juno/juno-patch-1 ... Fix tutorial link in README.md	2025-07-03 08:32:48 +10:00
Luke Boswell	4d666ab91b	Merge branch 'main' into cleanup-tokenize	2025-07-03 08:28:36 +10:00
Richard Feldman	188b195fa1	Merge remote-tracking branch 'origin/main' into fx-revamp	2025-07-02 18:11:23 -04:00
Luke Boswell	f1245fbbe1	Merge pull request #7924 from roc-lang/push-ywuzlqyplsul ... Improve Type Error API	2025-07-03 06:29:42 +10:00
Jared Ramirez	a5e0988722	Merge pull request #7920 from roc-lang/push-rpsnnxrrxwkz ... Implement type checking for `match`	2025-07-02 13:27:25 -07:00
Jared Ramirez	d7cd3976da	Make some error messages a bit nicer	2025-07-02 11:58:59 -07:00
Jared Ramirez	bfa9976ba4	Improve error reporting struct	2025-07-02 11:45:05 -07:00
Jared Ramirez	b6fc756490	Migrate list problems to new style	2025-07-02 11:32:27 -07:00
Jared Ramirez	d2cdcce3a1	Migrate if problems to new style	2025-07-02 11:32:27 -07:00
Jared Ramirez	1fefcbaeaa	Add pattern type solving	2025-07-02 09:54:30 -07:00
Jared Ramirez	c201331130	Add basic match type solving	2025-07-02 09:54:14 -07:00
Jared Ramirez	0ea7721cc7	Update match canonicalize to have BrachPatterns	2025-07-02 09:54:14 -07:00
Junya Ogura	b273a1489a	Fix tutorial link in README.md ... Signed-off-by: Junya Ogura <5352+juno@users.noreply.github.com>	2025-07-02 22:13:59 +09:00
Richard Feldman	818cc75947	Update snapshots	2025-07-02 08:10:09 -04:00
Luke Boswell	09779cba0f	Merge pull request #7922 from roc-lang/nominal-tags ... Add snapshots for nominal tag unions	2025-07-02 18:47:52 +10:00
Kiryl Dziamura	771f8ea5cd	Merge branch 'main' into cleanup-tokenize	2025-07-02 10:02:05 +02:00
Luke Boswell	35427f2e81	update snapshots	2025-07-02 14:16:32 +10:00
Luke Boswell	9b1be7440f	add another snapshot	2025-07-02 13:31:10 +10:00
Richard Feldman	e4f0a6ffd0	Merge remote-tracking branch 'origin/main' into fx-revamp	2025-07-01 23:07:36 -04:00
Richard Feldman	d9f7f9f889	Fix regression in record type inference	2025-07-01 23:06:50 -04:00
Luke Boswell	f3d0873b7b	add more snapshots	2025-07-02 12:53:46 +10:00