log src/elaborate.sml

age author description
Thu, 23 Dec 2010 11:23:31 -0500 Adam Chlipala Recursive record unification errors, for more detail
Mon, 20 Dec 2010 09:34:10 -0500 Adam Chlipala Implement constrained type kinding properly; bump mono inline threshhold
Sat, 18 Dec 2010 14:17:45 -0500 Adam Chlipala Change tasks to support parametric code; add clientLeaves
Sat, 18 Dec 2010 10:56:31 -0500 Adam Chlipala postBody type
Thu, 16 Dec 2010 18:40:49 -0500 Adam Chlipala Restore behavior of not complaining about undetermined unification variables when there are other errors
Thu, 16 Dec 2010 13:35:40 -0500 Adam Chlipala Fiddly tweaks
Wed, 15 Dec 2010 09:37:36 -0500 Adam Chlipala Smarter record unification