5 Commits

Author	SHA1	Message	Date
Niko Matsakis	7173fd78c6	in unit tests, use note to dump multiple program clauses ... (rather than issuing multiple errors) Also, reorder so that the annotations are considered "used" when the lint runs.	2018-04-23 13:28:14 -04:00
Fabian Zaiser	de475582c4	Stop duplicating where clauses from impl's.	2018-04-15 23:32:58 +02:00
Fabian Zaiser	5a73fd5e1f	Implement Chalk lowering rule Normalize-From-Impl	2018-04-15 23:32:57 +02:00
scalexm	04b228c3e2	Address niko's nits	2018-03-14 14:14:33 +01:00
scalexm	1271f0bd25	Add MVP for chalkification	2018-03-14 13:39:58 +01:00