jhc component: type_checker
« jhc project page
All issues
2009-08-28
flattenType called too often in type checker
2009-03-27
defaulting does not work