25 commits

Author	SHA1	Message	Date
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
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	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
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
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
Ayaz Hafiz	5eb00c4f94	Generate derive keys for tags	2022-10-04 16:23:24 -05:00
Ayaz Hafiz	7421485973	Remove clone	2022-10-04 15:37:03 -05:00
Ayaz Hafiz	46f111c6dd	Add hash deriving for records	2022-10-04 15:23:41 -05:00
Ayaz Hafiz	ad4d98be9c	Add derive key generation for record hashing	2022-10-04 14:42:00 -05:00
Ayaz Hafiz	427528e659	Add deriving of immediates for the Hash ability	2022-10-04 14:09:39 -05:00