1266 Commits

Author	SHA1	Message	Date
Ayaz Hafiz	21c3d0cafa	Add test for string and int record decoding	2022-08-15 11:11:37 -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	07cac2b4ce	Avoid non-consuming iterators	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	80c939f21e	Remove temporary	2022-08-15 11:11:36 -05:00
Ayaz Hafiz	ed23461165	Only open extension variable when feature is turned on	2022-08-15 11:11:36 -05:00
Ayaz Hafiz	9a7e280e9c	Add some more comments to record decoding	2022-08-15 11:11:36 -05:00
Ayaz Hafiz	b698e7f391	Remove mono test	2022-08-15 11:11:36 -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	23c6e6ea87	Add a wrap_in_decode_custom_decode_with helper for decode deriving	2022-08-15 11:11:36 -05:00
Ayaz Hafiz	60ed17155c	Check in gen test for record decoding!	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	634e9a2b69	Remove dbgs	2022-08-15 11:11:35 -05:00
Ayaz Hafiz	07392a35a7	Populate type of decoded record completely	2022-08-15 11:11:35 -05:00
Ayaz Hafiz	e93145180e	Better debug symbols for derivers	2022-08-15 11:11:35 -05:00
Richard Feldman	639df6c8c0	Unify this_decode_with_var	2022-08-15 11:11:35 -05:00
Richard Feldman	b3b6a7ee9f	Type-check lots of step_field	2022-08-15 11:11:35 -05:00
Richard Feldman	c34427bbf9	Rename record_var to initial_state_var	2022-08-15 11:11:34 -05:00
Ayaz Hafiz	d01c5c83b7	Check in gen tests that don't work yet	2022-08-15 11:11:33 -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	a276578642	Use some flex vars where they're needed for constraining	2022-08-15 11:11:33 -05:00
Ayaz Hafiz	e2e5faa28a	Rename to state_record_var	2022-08-15 11:11:33 -05:00
Ayaz Hafiz	1e1c44264f	Make sure to use result from inserting into subs, rather than uninit buffer	2022-08-15 11:11:33 -05:00
Richard Feldman	89f947f3ae	Finish setting up types for derived decoders	2022-08-15 11:11:33 -05:00
Richard Feldman	ddd462ec8b	Finish step	2022-08-15 11:11:33 -05:00
Richard Feldman	0579d84bf0	Set types for Keep/Skip	2022-08-15 11:11:32 -05:00
Richard Feldman	bccfa55179	Unify more derived decoder things	2022-08-15 11:11:32 -05:00
Richard Feldman	33548874d3	Drop some doc comments	2022-08-15 11:11:32 -05:00
Richard Feldman	8289458eee	Unify this_decode_with_var	2022-08-15 11:11:32 -05:00
Richard Feldman	13e3146ac1	Type-check lots of step_field	2022-08-15 11:11:32 -05:00
Richard Feldman	1587bfbeb5	Add type checking for finalizer	2022-08-15 11:11:32 -05:00
Richard Feldman	93d07079e1	Add type info to decoder_initial_state	2022-08-15 11:11:32 -05:00
Richard Feldman	7e12bcff1d	Rename variant_var to tag_union_var	2022-08-15 11:11:32 -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
Richard Feldman	6e008cf718	Finish building expressions for decoder_record	2022-08-15 11:11:31 -05:00
Richard Feldman	d3e96e9aa8	Expand record deriving decoding	2022-08-15 11:11:31 -05:00
Richard Feldman	0bff2c6674	Support converting Lowercase to Box<str>	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
Richard Feldman	bf8c253b13	Add some basic record decoding	2022-08-15 11:11:31 -05:00
Richard Feldman	6af6006cdd	Give TagName a From<&str>	2022-08-15 11:11:30 -05:00
Ayaz Hafiz	aa5e1e6a27	Build derive keys for derivable records	2022-08-15 11:11:30 -05:00
Ayaz Hafiz	275391c065	Move check_ext_var to utility module	2022-08-15 11:11:30 -05:00
Ayaz Hafiz	583829eaf5	Pass stepper function explicitly, for now	2022-08-15 11:11:30 -05:00
Ayaz Hafiz	29793fac32	Begin working on JSON record decoding ... And we've hit a borrow panic 😍	2022-08-15 11:11:29 -05:00
Ayaz	0d96f4fc7d	Merge pull request #3806 from roc-lang/dependabot/cargo/encode_unicode-1.0.0 ... Bump encode_unicode from 0.3.6 to 1.0.0	2022-08-15 08:16:49 -05:00