2 Commits

Author	SHA1	Message	Date
whitequark	b8ce3f85bd	Refactor error reporting in _unify to factor out custom notes.	2015-06-11 04:36:28 +03:00
whitequark	159692339d	Add tests for all diagnostics and unifications.	2015-06-06 18:05:06 +03:00