4 Commits

Author	SHA1	Message	Date
Jakub Bukaj	a2624fc908	Use the _ representation for integral variables as well	2014-10-30 21:38:20 +01:00
Jakub Bukaj	3db13f4892	Always drop var IDs from type variables modulo -Z verbose, per PR discussion	2014-10-29 23:56:22 +01:00
Jakub Bukaj	66fbe4c22c	Update tests with the new diagnostic tweaks	2014-10-29 23:56:22 +01:00
Jakub Wieczorek	43e5d10428	Improve the error message for missing else clauses in if expressions	2014-10-13 22:48:29 +02:00