22 commits

Author	SHA1	Message	Date
Ayaz Hafiz	d13e221678	Print variables if asked to	2023-05-02 13:08:58 -05:00
Ayaz Hafiz	7beee4e1f3	Add a way to print ranks in uitest	2023-05-01 13:14:59 -05:00
Folkert	4cd8f0a056	clippy --fix fixes	2023-04-21 12:05:51 +02:00
Ayaz Hafiz	677d19d825	Allow type error config in uitest	2023-04-12 14:04:51 -05:00
Ayaz Hafiz	b33393ca39	Allow configuring whether can errors are acceptable in tests	2023-04-12 13:54:26 -05:00
Ayaz Hafiz	014ec8c092	Support multiple modules in uitest	2023-04-12 11:35:33 -05:00
Ayaz Hafiz	0ec0568ef9	Drop unused function	2023-04-12 11:16:20 -05:00
Ayaz Hafiz	53af6ed4eb	Offer a way to print mono IR in uitest	2023-04-12 10:52:39 -05:00
Ayaz Hafiz	32d4b45557	Add a uitest for pseudo-polymorphic specializations	2023-04-10 16:31:00 -05:00
Ayaz Hafiz	630a8e32d4	Clippy	2023-04-02 00:32:20 -05:00
Ayaz Hafiz	c7a1d29695	Fix order of elaborated queries	2023-04-02 00:30:34 -05:00
Ayaz Hafiz	0e47140eaf	Complete instantiation annotations	2023-04-01 20:05:18 -05:00
Ayaz Hafiz	ca5a5c2698	More progress on instantiated annotations in the source	2023-04-01 15:06:44 -05:00
Ayaz Hafiz	bfcafb0be3	Refactor the solve inferrer	2023-04-01 12:45:32 -05:00
Ayaz Hafiz	9d8d36b532	Fix doc comemnt	2023-04-01 10:24:00 -05:00
Ayaz Hafiz	32a59b7e72	Lints	2023-03-31 18:04:32 -05:00
Ayaz Hafiz	442812f7c5	Add another test	2023-03-31 18:02:01 -05:00
Ayaz Hafiz	a10ce77584	Support printing can decls in uitest	2023-03-31 14:34:06 -05:00
Ayaz Hafiz	5a9109f17b	Make uitests less noisy	2023-03-31 13:54:38 -05:00
Ayaz Hafiz	54d6bf7747	Stub out the rest of uitest	2023-03-31 13:39:33 -05:00
Ayaz Hafiz	3aaf771543	Break up query inference into smaller composable pieces	2023-03-31 13:03:50 -05:00
Ayaz Hafiz	58cef56a23	Move solve test helpers to their own crate, for now	2023-03-31 11:35:23 -05:00