140 commits

Author	SHA1	Message	Date
Sam Mohr	30b8a1407d	Fix broken ability implementation	2025-01-04 05:37:17 -08:00
Luke Boswell	56228a25c0	replace cargo deps with workspace in checkmate, constrain, derive	2024-11-29 11:15:26 +11:00
Agus Zubiaga	6e6382ab23	Canonicalize and constrain statement expr in purity inference mode	2024-11-07 18:54:15 -03:00
Agus Zubiaga	7776883262	Unify functions fx vars	2024-11-07 18:54:13 -03:00
Agus Zubiaga	e8d7820f34	Add fx var to can's Call	2024-11-07 18:54:12 -03:00
Agus Zubiaga	75177c9c98	Rename effect_type to fx_type and add to FunctionDef	2024-11-07 18:54:12 -03:00
Agus Zubiaga	386a5055ee	Add effect_type to can ClosureData	2024-11-07 18:54:11 -03:00
Sam Mohr	294f0c0d1f	Merge branch 'main' into return-keyword	2024-10-24 23:01:10 -07:00
Richard Feldman	44d00e1f13	Updates for making soa no_std	2024-10-21 22:10:43 -04:00
Richard Feldman	49d1786f6c	Remove more push_new and extend_new usages	2024-10-21 22:10:43 -04:00
Sam Mohr	b3e60f9d3a	Implement return keyword	2024-10-20 08:58:59 -07:00
Richard Feldman	2567c8b545	Convert over Subs to use the new soa crate	2024-10-10 00:30:35 -04:00
Richard Feldman	586959780b	Revert "Try out converting subs to use soa stuff directly" ... This reverts commit 4a7d7e42d6.	2024-10-10 00:06:25 -04:00
Richard Feldman	4a7d7e42d6	Try out converting subs to use soa stuff directly	2024-10-10 00:06:22 -04:00
Anton-4	8f71844c3e	fix example, update mono	2024-04-13 14:26:17 +02:00
Anton-4	e85cbdce75	minor improvements	2024-04-08 19:40:06 +02:00
faldor20	612fa4c75a	refactor to combine params	2024-04-08 16:06:50 +10:00
faldor20	384bf7ca5b	comments	2024-04-02 11:21:38 +10:00
faldor20	892d264304	explicitly match errors	2024-04-02 11:16:02 +10:00
faldor20	017efc84ae	re-combine	2024-04-02 09:56:58 +10:00
faldor20	56481dc724	clippy and comments ... comments and clippy	2024-03-17 20:33:30 +10:00
faldor20	089c499fc6	fixed types so tests are happy	2024-03-17 20:33:30 +10:00
faldor20	46122262ff	splitup record decoder	2024-03-17 20:33:30 +10:00
faldor20	17599ec911	cleanup ... fix error cleanup	2024-03-17 20:33:30 +10:00
faldor20	2565580db5	working initial implementation	2024-03-15 13:31:11 +10:00
Richard Feldman	2b4d0d080b	Use Variable::U64 over Variable::NAT	2024-01-26 16:23:20 -05:00
Richard Feldman	502b0fddf2	Remove Nat from Hash, Inspect, Encode, Decode	2024-01-26 16:17:05 -05:00
Ayaz	aaba3f4d82	Merge branch 'main' into clippy-1.74	2023-12-02 20:09:06 -06:00
Brendan Hansknecht	c49046291a	misc cleanup suggestions	2023-11-28 16:40:43 -08:00
Brendan Hansknecht	9b181e1b3f	add inspect implementation for dict and set	2023-11-28 16:40:42 -08:00
Brendan Hansknecht	153b4c6df1	add walk function to list autoderive	2023-11-28 16:40:42 -08:00
Brendan Hansknecht	5e36395369	correct Inspect custom impl to use Inspect.apply	2023-11-28 16:40:42 -08:00
Brendan Hansknecht	96b3cc300f	encode/encoder to inspect/inspector	2023-11-28 16:40:40 -08:00
Richard Feldman	34148645ae	wip	2023-11-28 16:40:39 -08:00
Richard Feldman	d0841fb018	Add derive key for Inspect	2023-11-28 16:40:39 -08:00
Folkert	f9fe17eef3	remove clippy warning that does not exist in 1.71	2023-11-18 23:13:34 +01:00
Folkert	c019ced31d	various	2023-11-18 23:05:55 +01:00
Richard Feldman	2da41be29f	Merge remote-tracking branch 'origin/main' into abilities-syntax	2023-08-10 20:36:01 -04:00
Ayaz Hafiz	1282110ef5	Push checkmate through load	2023-07-17 09:51:00 -05:00
Ayaz Hafiz	18e9f8f034	Move unify::Mode to roc_solve_schema	2023-07-17 09:50:36 -05:00
Ayaz Hafiz	87d108eccc	Push checkmate through env	2023-07-17 09:48:59 -05:00
Folkert	ef39bad7c6	auto clippy fixes	2023-07-10 18:27:08 +02:00
Bryce Miller	cb08225bf0	| -> where	2023-06-05 20:19:00 -04:00
Bryce Miller	33c2b9dfdd	has -> implements in comments	2023-05-26 20:37:02 -04:00
Bryce Miller	dbc0204532	abilities syntax has -> implements	2023-05-24 21:30:16 -04:00
Folkert	4cd8f0a056	clippy --fix fixes	2023-04-21 12:05:51 +02:00
Ayaz Hafiz	db3698c33c	Fix code guards	2023-03-23 11:53:43 -05:00
Ayaz Hafiz	f9f90a3684	Lints	2023-03-22 16:58:12 -05:00
Ayaz Hafiz	4d3bda51e1	Define naturality of tuple indices	2023-03-22 16:55:23 -05:00
Ayaz Hafiz	cb5a21cb20	Derive decoding for tuples	2023-03-22 16:43:52 -05:00