129 commits

Author	SHA1	Message	Date
Ayaz Hafiz	ab3ff6e842	Add a list decoder	2022-08-03 14:57:38 -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	d0890e0694	Merge pull request #3677 from rtfeldman/refactor-derive-tests ... Refactor deriving tests to put testing utilities in separate module	2022-08-02 21:04:03 -05:00
Ayaz Hafiz	3ec68fb3ef	Update type variables in derive tests	2022-08-02 16:16:12 -05:00
Ayaz Hafiz	9877224678	Turn on deriver tests that work again ... Blocked on #3643	2022-08-02 16:15:35 -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
Ayaz	6b6f240acb	Merge pull request #3589 from rtfeldman/can-abilities3 ... Canonicalize syntactic abilities: Part 3 - solving	2022-07-25 21:48:14 -05:00
Ayaz Hafiz	0525c6d616	Import both specializations and declared ability mappings	2022-07-25 10:06:49 -04:00
Ayaz Hafiz	cd0b8577ab	Have load_internal deal with separate declared/known ability specializations	2022-07-25 09:24:58 -04:00
Ayaz Hafiz	4031770836	Mark branch patterns degenerate when they don't bind symbols body needs	2022-07-22 17:26:45 -04:00
Ayaz Hafiz	e3742481f4	Improve pretty printing of derived impls	2022-07-16 12:31:06 -04:00
Ayaz Hafiz	c647973dee	Wrap list encoders in Encode.custom for now	2022-07-16 12:30:15 -04:00
Ayaz Hafiz	e83175cf75	Add a deriver for encoding lists	2022-07-16 12:30:14 -04:00
Ayaz Hafiz	568e8d9475	Remove explicit string deriving code in favor of immediate	2022-07-15 10:39:09 -04:00
Ayaz Hafiz	b782f013bd	Fix derive tests	2022-07-13 08:47:39 -04:00
Ayaz Hafiz	df9bcb1a0c	Use Derived_synth for synthesizing implementations, and Derived_gen for codegen	2022-07-13 08:47:39 -04:00
Ayaz Hafiz	9a01117536	Fix compile errors	2022-07-13 08:47:37 -04:00
Ayaz Hafiz	a17748ea01	Wrap toEncoder derivers in Encode.custom for now	2022-07-13 08:47:37 -04:00
Ayaz Hafiz	9caa09b2c0	Include type, symbol header in derived goldens	2022-07-13 08:47:36 -04:00
Ayaz Hafiz	fd9dcd8551	Have derivers rely only on exposed module types	2022-07-13 08:47:35 -04:00
Ayaz Hafiz	e8fb186d79	Load derived member impls into derived module for mono	2022-07-13 08:47:34 -04:00
Ayaz Hafiz	6985b2b6a1	Pretty print opaque wrap functions	2022-07-12 21:15:14 -04:00
Richard Feldman	c45e3ec4b4	Merge remote-tracking branch 'origin/trunk' into fix-nested-imports	2022-07-10 08:52:38 -04:00
Richard Feldman	f45e3dbb46	Fix tests	2022-07-08 18:16:08 -04:00
Ayaz Hafiz	f3e16b5460	Ignore some deriver tests for now	2022-07-06 13:08:58 -04:00
Anton-4	eee85fa45d	moved all crates into seperate folder + related path fixes	2022-07-01 17:37:43 +02:00