7 commits

Author	SHA1	Message	Date
Richard Feldman	f0a91b8ce1	Add some debug assertions	2023-10-14 21:49:06 -04:00
Richard Feldman	eb135637ef	Compute total_problems rather than asking for it	2023-10-14 21:49:06 -04:00
Folkert	ef39bad7c6	auto clippy fixes	2023-07-10 18:27:08 +02:00
Brendan Hansknecht	8f4945f286	make file loading errors that happen late in compilation still fatal	2023-04-09 14:03:33 -07:00
Folkert	32e3f01a28	refactor printing error counts	2022-12-30 14:30:08 +01:00
Ayaz Hafiz	e438fbf37c	Enumerate severity on problem variants	2022-12-02 14:11:57 -06:00
Ayaz Hafiz	03e6d6d7e0	Report builtins type errors during load building as appropriate	2022-11-22 10:36:41 -06:00