490 commits

Author	SHA1	Message	Date
Sam Mohr	b56fbd38e1	Progress on updating entire compiler for snake_case	2025-01-05 03:48:03 -08:00
Sam Mohr	de626102c8	Use new try impl for ? operator	2024-12-05 02:13:13 -08:00
Sam Mohr	eedade8e81	Initial working version of proper try keyword	2024-12-04 02:31:59 -08:00
JRI98	75f13d3f2e	Remove unused RuntimeErrorFunction variant from roc_mono::ir::Expr	2024-11-28 20:11:56 +00:00
JRI98	dcb6c543c0	Remove unused TypedHole variant from roc_can::expr::Expr	2024-11-28 20:11:37 +00:00
Joshua Warner	9ead801536	Remove expect-fx syntax and handling ... This was never fully hooked up in platforms, and the plan is to replace the need for this with doing purity-inference on normal `expect` statements. On the other hand, fuzzing is finding some bugs caused by having a hyphenated keyword, so this is a great time to go ahead and remove it!	2024-11-17 20:25:37 -08:00
Agus Zubiaga	cfc4be5254	Treat untyped suffixed functions as effectful	2024-11-07 18:54:21 -03:00
Agus Zubiaga	6e6382ab23	Canonicalize and constrain statement expr in purity inference mode	2024-11-07 18:54:15 -03:00
Agus Zubiaga	f677592f97	Ignore unused fx vars in mono	2024-11-07 18:54:14 -03:00
Agus Zubiaga	7776883262	Unify functions fx vars	2024-11-07 18:54:13 -03:00
Agus Zubiaga	5a5abe3bc5	Unify call's fx var with that of the enclosing function	2024-11-07 18:54:12 -03:00
Agus Zubiaga	e8d7820f34	Add fx var to can's Call	2024-11-07 18:54:12 -03:00
Agus Zubiaga	0dedab1725	Fix imports in expects #7025	2024-11-05 19:13:29 -03:00
Sam Mohr	39687fdb97	Merge branch 'main' into return-keyword	2024-10-26 06:50:16 -07:00
Ayaz	e1183e58e5	Merge pull request #7179 from JRI98/unused_emptytuple ... Remove unused EmptyTuple variant from FlatType enum	2024-10-25 09:19:57 -04:00
Sam Mohr	294f0c0d1f	Merge branch 'main' into return-keyword	2024-10-24 23:01:10 -07:00
Luke Boswell	06996d88f2	Merge pull request #7178 from JRI98/fix_6240 ... Fix #6240	2024-10-24 13:29:47 +11:00
JRI98	edd0bb553d	Remove unused EmptyTuple variant from FlatType enum	2024-10-22 16:29:53 +01:00
JRI98	511308d4d3	Fix #6240	2024-10-22 12:04:48 +01:00
Richard Feldman	44d00e1f13	Updates for making soa no_std	2024-10-21 22:10:43 -04:00
Sam Mohr	b3e60f9d3a	Implement return keyword	2024-10-20 08:58:59 -07:00
Brendan Hansknecht	5b8b781bad	remove single entrypoint	2024-10-07 21:16:30 -07:00
Brendan Hansknecht	a9d1327dd1	Enable multiple functions exposed to the host	2024-10-07 21:16:30 -07:00
Agus Zubiaga	519ff56a85	Create can::module::ModuleParams for convenience	2024-08-17 13:10:37 -03:00
Agus Zubiaga	e80e3e5b2d	Convert top-level value def to fn taking params	2024-08-17 11:21:21 -03:00
Agus Zubiaga	762799052e	Merge branch 'main' into typecheck-module-params	2024-08-07 18:55:33 -03:00
Anton-4	60ca8382a5	improve abilities error	2024-08-03 11:57:23 +02:00
Brendan Hansknecht	c734a27b59	move List.map* into roc	2024-07-13 10:39:56 -07:00
Anton-4	b702cb634f	better mono repl error	2024-07-12 17:02:34 +02:00
Agus Zubiaga	0cbb352a89	Move unexpected params warning to solve	2024-07-06 21:36:26 -03:00
Folkert	3cbec41d59	hook borrow inference up	2024-07-06 16:05:52 +02:00
Folkert	199558b661	basic transitive inference	2024-07-06 16:05:52 +02:00
Agus Zubiaga	400c156d81	Replace params mono todo with unimplemented	2024-07-02 11:10:00 -03:00
Agus Zubiaga	922b1c44ef	Report missing params	2024-07-02 11:10:00 -03:00
Agus Zubiaga	5ec4b042bb	Constrain and solve import params ... No reporting yet	2024-07-02 04:10:46 -03:00
Agus Zubiaga	674adf1fad	Wrap import params expr so we can constrain later	2024-07-02 04:10:46 -03:00
Agus Zubiaga	1526fc4aee	can::Expr::ParamsVar for lookups with params	2024-07-02 04:10:44 -03:00
Brendan Hansknecht	6dc5bfb1b7	Use roc_target over target_lexicon ... Tailors a target class for our needs. Replaces tons of uses across the entire compiler. This is a base for later adding new targets like thumb.	2024-03-31 10:50:26 -07:00
Richard Feldman	3b3a330d73	Merge pull request #6422 from roc-lang/remove-nat ... Remove `Nat`	2024-02-20 09:45:36 -05:00
Folkert	7c104e291b	fix two repl panics ... they now hit a runtime error and then report the type errors that caused the crash	2024-02-11 19:04:26 +01:00
Richard Feldman	24a38c4a26	Merge remote-tracking branch 'origin/main' into remove-nat	2024-02-11 12:26:36 -05:00
JRI98	ad6900514b	Create symbols for struct fields before record update	2024-02-02 23:49:48 +00:00
Richard Feldman	204cee7d60	Clean up more unused Nat stuff	2024-01-26 16:23:21 -05:00
Richard Feldman	76dcbee25f	Drop unused target_info from layout	2024-01-26 16:23:21 -05:00
Richard Feldman	70a1def63b	Update some docs to not reference Nat	2024-01-26 16:06:07 -05:00
Anton-4	cd632fe549	Merge branch 'main' of github.com:roc-lang/roc into clippy-1.74	2023-12-25 17:05:37 +01:00
Brendan Hansknecht	3966d63e2f	add src and location to dbg	2023-12-02 21:18:31 -08:00
Ayaz	aaba3f4d82	Merge branch 'main' into clippy-1.74	2023-12-02 20:09:06 -06:00
Brendan Hansknecht	b7f72eff86	add basic Dbg desugaring and LowLevelDbg	2023-11-29 21:05:48 -08:00
Folkert	4fafc669b8	in record fields give a forced imported thunk a unique symbol	2023-11-28 23:47:53 +01:00