|
Summer voyages has ended and we're working hard before 0.2.0 release. A few high priority bugs remain open. We're going to fix them before 0.2.0. The aim of this release is to get better CLS integration (hopefully Nemerle should get status of a full CLS producer and extender). Release notes are almost complete.
I (Michal) have been working on a new type inference engine. There will be probably lots of work with pen and paper, but I seem to know how to solve the subtyping equations now. Finally got the details an hour ago...
The new engine should type the following code just fine:
This is the most important problem with the current engine -- it cannot use more general type, once the type variable is substituted. The other problem is code quality -- it really needs rewrite.