8 commits

Author	SHA1	Message	Date
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	281bc94b55	Remove FlatType::Erroneous	2022-11-08 14:11:25 -06:00
Ayaz Hafiz	2f24c81dab	Support deriving decoder for record with arbitrary ext var	2022-08-23 10:41:06 -05:00
Ayaz Hafiz	68441479b8	Add decoding record derive key tests	2022-08-15 11:11:37 -05:00
Ayaz Hafiz	434e202580	Make sure to chase extension variable in record deriving	2022-08-15 11:11:37 -05:00
Ayaz Hafiz	d01c5c83b7	Check in gen tests that don't work yet	2022-08-15 11:11:33 -05:00
Ayaz Hafiz	aa5e1e6a27	Build derive keys for derivable records	2022-08-15 11:11:30 -05:00
Ayaz Hafiz	e2179348c6	Add derive keys for decoders	2022-08-03 08:56:25 -05:00