flattenType called too often in type checker

« jhc project page

The type checker calls flattenType which traverses a whole type in places where the type is already flat, or we only need the head to not be a reference. This slows it down.

Details

Id: 2ac0a447cd64f57d12304e1ce7f43c407c742642
Type: bugfix
Creation time: 2009-08-28 13:37 GMT
Creator: John Meacham <john@...>
Release: unassigned
Component: tc
Status: unstarted

Issue log

2009-08-28 13:37 GMT John Meacham <john@...> created