Issues (51–57 of 57)

Title	T	P	Status	Votes	Created	Updated
#2: inferred polymorphic variables are not in the order in which they appear	bug	major	resolved		2016-03-17	2016-04-15
#8: Matching built-in pair type doesn't work with bi-directional typechecking	bug	minor	closed		2016-04-10	2016-04-11
#7: Bad err msg for type mismatch during instantiated polymorphic fn app	bug	major	closed		2016-03-22	2016-04-10
#6: add nested matching	enhancement	major	resolved		2016-03-22	2016-03-30
#4: Expected type doesn't propagate through lambda	bug	major	closed		2016-03-19	2016-03-19
#3: Expected type doesn't propogate through cond	bug	major	closed	1	2016-03-18	2016-03-18
#1: `mlish` variant instantiation doesnt work	bug	major	resolved		2016-03-01	2016-03-02