115 commits

Author	SHA1	Message	Date
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
Ayaz Hafiz	e96be7c746	Factor out decoders into separate files	2023-03-22 12:29:21 -05:00
Ayaz Hafiz	5e0a6e5926	Derive key for Decoding tuples	2023-03-22 12:23:16 -05:00
Ayaz Hafiz	0b4a45c70d	Derive encoding for tuples	2023-03-22 11:37:47 -05:00
Ayaz Hafiz	e5fcb05a2d	Implement derivation keys for tuple encoders	2023-03-22 11:19:47 -05:00
Ayaz Hafiz	8f7b6aaeaa	Implement hash derivation for tuple	2023-03-22 10:28:13 -05:00
Ayaz Hafiz	e6cac71ca5	Add support for hash key of tuples	2023-03-22 10:09:57 -05:00
Brendan Hansknecht	f42f61e271	run a toml formatter and then clean it up a bit	2023-03-06 19:47:57 -08:00
Brendan Hansknecht	4a89bee0a5	centralize package versions except for vendor and excluded	2023-03-06 19:29:09 -08:00
Brendan Hansknecht	5485c8a5b0	update to using workspace package spec	2023-03-06 16:36:18 -08:00
Joshua Warner	de828416bf	Initial implementation of tuples in type checking ... This leaves in place a bunch of TODOs and likely many bugs - notably, I haven't tested codegen/layout at all here.	2023-01-22 12:40:44 -08:00
Ayaz Hafiz	1c93727822	Add a notion of "openness" tag extensions suitable only for size-polymorphism	2023-01-16 10:52:23 -06:00
Folkert	662bf1de99	more workspace dependencies	2022-11-13 16:10:02 +01:00
Ayaz Hafiz	fb643758bb	Remove Unified BadType	2022-11-08 14:11:25 -06:00
Luke Boswell	2c2a70b8e7	Merge remote-tracking branch 'upstream/main' into rust-docs	2022-11-06 09:15:57 +11:00
Folkert	134de80150	various updates	2022-11-03 17:18:27 +01:00
Luke Boswell	f3bdb5f321	updating rust package documentation	2022-11-03 20:00:06 +11:00
Ayaz Hafiz	4d48ea7c2f	Materialize extension variable polarity in error type reporting	2022-10-31 09:37:40 -05:00
Ayaz Hafiz	229548571b	Represent "able" variables with slices of abilities	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	d7237dc9e9	Cargo format	2022-10-18 12:09:18 -05:00
Ayaz Hafiz	706d22a942	Fix encode/decode deriving	2022-10-18 08:22:23 -05:00
Ayaz Hafiz	8aee32830a	Add symbols' localized type variable to the AST	2022-10-17 17:35:48 -05:00
Ayaz Hafiz	cb96a64259	Implement hashing tag discriminants in derivers, rather than using low-level ... This makes it so we can decide the discriminant in the front-end. With this, we can also now revert the `LowLevel::TagDiscriminant` introductions.	2022-10-05 12:58:04 -05:00
Ayaz Hafiz	a308ebb38c	Optimize derived hash implementation for newtypes ... When we have a newtype tag union, there is no reason to hash its discriminant.	2022-10-05 12:19:35 -05:00
Ayaz Hafiz	41c9985c53	Support newtypes and unit tag union hash deriving	2022-10-04 18:11:37 -05:00
Ayaz Hafiz	ff70832068	Derive hash for tag unions with a discriminant	2022-10-04 17:19:30 -05:00