15 commits

Author	SHA1	Message	Date
Ayaz Hafiz	4c30e4c4bb	Add derive-key implementation for IsEq	2022-10-12 16:37:48 -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
Ayaz Hafiz	a01583efff	Add derive key tests for able ext vars	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
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	66f75b86ee	Fix ROC_PRINT_UNIFICATIONS_DERIVED	2022-08-15 11:11:33 -05:00
Ayaz Hafiz	8a0dedc975	Allow unused mut variable	2022-08-03 16:08:36 -05:00
Ayaz Hafiz	429ebbc830	Have v! macro specify what it needs itself	2022-08-03 14:57:16 -05:00
Ayaz Hafiz	e2179348c6	Add derive keys for decoders	2022-08-03 08:56:25 -05:00
Ayaz Hafiz	05d8bca0fb	Move DeriveBuiltin to derive_key	2022-08-02 14:29:49 -05:00
Ayaz Hafiz	6f06a59cdf	Condition derive tests on derived method	2022-08-02 14:28:20 -05:00
Ayaz Hafiz	c3383da994	Refactor deriving tests to put testing utilities in separate module ... As we prepare to add derivers for Decoders, we'll want to use this same infrastructure for Decoder derive tests. This pulls out the common test infrastructure into a separate module under test_derive.	2022-08-02 14:28:20 -05:00