Closed GoogleCodeExporter closed 8 years ago
Interesting. I'll look into it.
Note that I've recently improved the error messages for failures like the
above, but haven't pushed it out yet.
Original comment by viri...@gmail.com
on 7 Dec 2010 at 5:45
Modified the type solver and added tests.
Original comment by viri...@gmail.com
on 17 Jan 2011 at 3:40
Original issue reported on code.google.com by
kai.na...@gmail.com
on 7 Dec 2010 at 5:28Attachments: