458 commits

Author	SHA1	Message	Date
Brendan Hansknecht	1f14aa84a2	misc cleanup suggestions	2023-11-29 21:05:56 -08:00
Brendan Hansknecht	b7f72eff86	add basic Dbg desugaring and LowLevelDbg	2023-11-29 21:05:48 -08:00
Ayaz Hafiz	5c805ce80f	Get first inspect for non-Inspect-implementing opaques specialized	2023-11-28 16:40:39 -08:00
Ayaz Hafiz	c87e3e7413	TODO	2023-11-28 16:40:39 -08:00
Richard Feldman	d0841fb018	Add derive key for Inspect	2023-11-28 16:40:39 -08:00
Elias Mulhall	0ccc71389a	move pattern desugar tests to test_mono	2023-11-26 20:26:43 -05:00
Elias Mulhall	d924125e6d	remove unnecessary comment	2023-11-26 20:26:42 -05:00
Elias Mulhall	439ce1143c	desugar patterns during canonicalization ... Traverse pattern ASTs and desugar two cases - Desugar optional record field default value expr. This expr might contain nodes that need to be desugared, such as binary operations. Failing to desugar this expr can cause an internal panic later in canonicalization. - Discard SpaceBefore and SpaceAfter nodes so that patterns can be destructured over multiple lines. Keeping these nodes can cause an internal panic later in canonicalization. Fixes [1]. [1]: https://github.com/roc-lang/roc/issues/5653.	2023-11-26 20:26:42 -05:00
Elias Mulhall	0a48962abe	replace unreachable! with internal_error! in expr canonicalization ... See https://github.com/roc-lang/roc/issues/2046	2023-11-26 20:26:34 -05:00
Ayaz Hafiz	886a367026	Go-to-definition basic support	2023-10-25 17:14:50 -05:00
Ayaz Hafiz	e954e074fb	Refactor for less laziness (right now)	2023-10-25 17:14:50 -05:00
Ayaz Hafiz	0db1cd9c28	Add hover	2023-10-25 17:14:33 -05:00
Folkert	6ab54c02e2	drop into_iter in some places	2023-10-07 19:11:36 +02:00
Brendan Hansknecht	108d9a54e3	Switch Num.tan to a zig builtin ... It should be able to share some work between sine and cosine to run faster.	2023-09-16 21:27:51 -07:00
Richard Feldman	2da41be29f	Merge remote-tracking branch 'origin/main' into abilities-syntax	2023-08-10 20:36:01 -04:00
Folkert	5d3c7a9363	remove HostExposedAlias	2023-08-09 14:06:07 +02:00
Folkert	44d03eebfa	switch over to alloca expr	2023-07-30 18:48:35 +02:00
Folkert	cdd2aab217	add alloca as an expression	2023-07-30 18:46:00 +02:00
Richard Feldman	9c9a7884f2	Clippy	2023-07-29 18:23:16 -04:00
Richard Feldman	42fb593471	Desugar inside string interpolation	2023-07-29 18:11:41 -04:00
Richard Feldman	9e0e756d3b	Allow more exprs inside string interpolation	2023-07-29 17:30:48 -04:00
Folkert	557c3987e0	make it work	2023-07-24 21:24:33 +02:00
Folkert	43adf0635e	freshen annotations	2023-07-24 21:24:33 +02:00
Ayaz Hafiz	6e5a308557	Content variant ErasedLambda	2023-07-12 13:57:17 -05:00
Ayaz Hafiz	33b1b8236a	Break up SolveEnv	2023-07-12 13:53:51 -05:00
Folkert	ef39bad7c6	auto clippy fixes	2023-07-10 18:27:08 +02:00
Kiryl Dziamura	3ccb6114b2	Unwrap expr in loop	2023-07-04 10:16:21 +02:00
Kiryl Dziamura	29592ddb9b	Drop parens during body canonicalization	2023-07-04 10:16:21 +02:00
Kiryl Dziamura	6031c0cc9f	Fix desugar step for pizza operator	2023-07-04 10:16:20 +02:00
Folkert	fc3004da58	free or reuse unconditionally when value is unique	2023-06-27 17:37:45 +02:00
Ayaz	0edcd23657	Merge pull request #5569 from roc-lang/finally-trmc ... tail recursion modulo cons	2023-06-25 15:31:34 -05:00
Folkert	654cf7b861	changes after review	2023-06-24 14:49:57 +02:00
Folkert	9c85fb90d3	fix bugs	2023-06-24 14:49:47 +02:00
Folkert	0247237fe8	WIP	2023-06-24 14:49:46 +02:00
Ayaz Hafiz	ad20a2ee41	Shove more into a common env	2023-06-22 14:31:48 -05:00
Hannes	97fa6758d0	Rename trimLeft to trimStart and trimRight to trimEnd	2023-06-19 13:17:59 +08:00
Bryce Miller	e463ccf4a6	merge main	2023-06-07 20:36:54 -04:00
Ajai Nelson	2e5fef5231	Improve error messages involving ignored variables ... Fix #3987	2023-06-06 19:46:15 -04:00
Bryce Miller	cb08225bf0	| -> where	2023-06-05 20:19:00 -04:00
Bryce Miller	ffa622e065	Merge branch 'main' into abilities-syntax ... Signed-off-by: Bryce Miller <sandprickle@users.noreply.github.com>	2023-05-29 13:42:36 +02:00
Bryce Miller	9e4b14d3d9	Fix typo	2023-05-29 07:22:50 -04:00
Bryce Miller	d3f6277ea3	has -> implements in comments	2023-05-26 22:59:11 -04:00
Bryce Miller	33c2b9dfdd	has -> implements in comments	2023-05-26 20:37:02 -04:00
Ayaz Hafiz	3585d5bb5b	Implement hash for Dec	2023-05-26 11:38:30 -05:00
Brendan Hansknecht	b4c359588e	Seed Dict and Set ... This changes Dict and Set to have a compilation depedent seed. The seed is not exposed to userland in anyway. This gets a much more DOS resistant Dict and Set with no cost.	2023-05-25 09:55:48 -07:00
Bryce Miller	dbc0204532	abilities syntax has -> implements	2023-05-24 21:30:16 -04:00
Ayaz Hafiz	2f7930dd0f	Implement annotation def for tuple	2023-05-24 13:12:41 -05:00
Bryce Miller	17c733ec81	has -> implements in roc_problem::can::Problem	2023-05-20 21:12:26 -04:00
Bryce Miller	46cb45f717	loc_has -> loc_implements	2023-05-20 19:24:08 -04:00
Bryce Miller	4b90948fcf	ast::HasAbilities -> ast::ImplementsAbilities	2023-05-20 19:13:01 -04:00