129 commits

Author	SHA1	Message	Date
Folkert	14cd48fce7	Merge remote-tracking branch 'origin/main' into rust-1-62-1	2022-11-09 13:51:51 +01:00
Ayaz Hafiz	f7724a7df3	Update derive tests	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	b0a8b85de3	Canonicalization of list patterns	2022-10-31 17:04:47 -05:00
Ayaz Hafiz	debe6332c5	Support OIOP for type aliases	2022-10-31 09:38:21 -05:00
Ayaz Hafiz	d77080529a	Introduce polarity for extension variable printing	2022-10-31 09:37:39 -05:00
Ayaz Hafiz	229548571b	Represent "able" variables with slices of abilities	2022-10-24 13:59:51 -05:00
Brendan Hansknecht	e27b874331	update test to use HASH_HASH_I* instead of HASH_ADD_I*	2022-10-19 18:22:44 -07:00
Ayaz Hafiz	8aee32830a	Add symbols' localized type variable to the AST	2022-10-17 17:35:48 -05:00
Ayaz Hafiz	c5a025f853	s/Eq/Bool	2022-10-12 16:38:37 -05:00
Ayaz Hafiz	6149c289fc	Update Eq symbols	2022-10-12 16:38:36 -05:00
Ayaz Hafiz	a256947a9f	Move Eq to Bool	2022-10-12 16:37:51 -05:00
Ayaz Hafiz	5931dd5fc2	Check in test derive for eq	2022-10-12 16:37:48 -05:00
Ayaz Hafiz	4c30e4c4bb	Add derive-key implementation for IsEq	2022-10-12 16:37:48 -05:00
Ayaz	83b64c4fb3	Merge pull request #4209 from roc-lang/impl-tag-discriminant ... Derive `Hash` implementations for tag unions	2022-10-10 22:23:05 -05:00
Ayaz	fae90c9fd2	Merge pull request #4187 from roc-lang/ranged-char-literal ... Single-quote literals behave like ranged numbers	2022-10-07 15:05:09 -05:00
Ayaz Hafiz	619cd2f629	Infer ranged number for chars in patterns	2022-10-05 17:28:01 -05:00
Ayaz Hafiz	178b634266	Treat single quote literals as ranged numbers for inference purposes	2022-10-05 17:28:00 -05:00
Ayaz Hafiz	a842247aa6	Unused import	2022-10-05 13:09:10 -05:00
Ayaz Hafiz	792afe5457	Remove TagDiscriminant low-level	2022-10-05 13:00:45 -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	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	5b833e57b5	Support derivation of Hash for Str and List	2022-10-04 14:09:40 -05:00
Ayaz Hafiz	427528e659	Add deriving of immediates for the Hash ability	2022-10-04 14:09:39 -05:00
Anton-4	f6324edc10	Merge branch 'main' of github.com:roc-lang/roc into rust-1-62-1	2022-09-10 18:17:33 +02:00
Folkert de Vries	acb71d6007	Merge pull request #3835 from roc-lang/ext-vars-in-derivers ... Support bound and unbound extension variables in deriving	2022-08-30 00:34:50 +02:00
Ayaz Hafiz	a01583efff	Add derive key tests for able ext vars	2022-08-23 10:41:06 -05:00
Ayaz Hafiz	2f24c81dab	Support deriving decoder for record with arbitrary ext var	2022-08-23 10:41:06 -05:00
Ayaz Hafiz	b5e59d22e3	Support extension variables in record and tag union encoding derive keys	2022-08-23 10:41:06 -05:00
Folkert	a22e04361c	Merge remote-tracking branch 'origin/main' into expect-fx-codegen	2022-08-23 16:28:21 +02:00
Anton-4	6df2632157	minor cleanup	2022-08-22 15:33:18 +02:00
Anton-4	9aee7cdcf6	1.62.1 version update, fmt, clippy	2022-08-22 15:27:19 +02:00
Ayaz Hafiz	51faeaf9af	Fix doc comment	2022-08-15 11:11:37 -05:00
Ayaz Hafiz	3770db5d70	Add test for underivable optional record	2022-08-15 11:11:37 -05:00
Ayaz Hafiz	68441479b8	Add decoding record derive key tests	2022-08-15 11:11:37 -05:00
Ayaz Hafiz	0f58328d3d	Use wrap_in_decode_custom_decode_with for decode record	2022-08-15 11:11:36 -05:00
Ayaz Hafiz	44a746b473	Update derive decoder test	2022-08-15 11:11:36 -05:00
Ayaz Hafiz	f95c5aee12	Check in derived record impl	2022-08-15 11:11:33 -05:00
Ayaz Hafiz	66f75b86ee	Fix ROC_PRINT_UNIFICATIONS_DERIVED	2022-08-15 11:11:33 -05:00
Ayaz Hafiz	c81eecd644	Print back records without trailing comma	2022-08-15 11:11:31 -05:00
Ayaz Hafiz	0fd467ca01	Print back record updates	2022-08-15 11:11:31 -05:00
Ayaz Hafiz	e1359c3025	Print back tags appropriately	2022-08-15 11:11:31 -05:00
Richard Feldman	bff2852639	Add an initial record decoding test	2022-08-15 11:11:31 -05:00
Folkert	ed055a0bd8	fix compile error in test	2022-08-13 19:05:45 +02:00
Ayaz Hafiz	de3a12167b	Wrap list decoders in Decode.custom for now ... Otherwise we get some weird panics in borrow, I think something is going wrong with let-generalization	2022-08-03 16:09:22 -05:00
Ayaz Hafiz	8a0dedc975	Allow unused mut variable	2022-08-03 16:08:36 -05:00