Brent Yorgey abe0ae88a6 Better type error messages (#1298) ... Improvements to type inference and type error messages. Includes: - More informative error when record literal fields don't match the expected set of fields - More informative type mismatch error which includes the term where the mismatch occurred. - Reinstates a case for lambdas with explicit type annotations in inference mode (which was removed in #1283), which helps preserve better error messages in some cases.		2023-06-03 12:22:06 +00:00
..
integration	Density command (#1296)	2023-06-01 16:28:10 +00:00
unit	Better type error messages (#1298)	2023-06-03 12:22:06 +00:00