2 commits

Author	SHA1	Message	Date
Niko Matsakis	157422a0c7	Update test error messages based on changes to wfcheck; also, break ... apart the tests that tested many things at once.	2015-08-12 17:58:58 -04:00
Niko Matsakis	39d164d042	New tests --- check that wf relation is being checked in various positions	2015-08-12 17:57:58 -04:00