id summary reporter owner description type status priority milestone component version resolution keywords cc
154 Refactor TFetters to TConstrained benl benl "TFetters contains type constraints in an unsorted list, which is death to performance. We really want to keep type constraints in several finite maps, depending on what sort they are. I've abandoned a previous attempt where I simply removed TFetters and switched to TConstrained, but it was going to take far too long to get the compiler building again.
Better to have both TFetters and TConstrained for a while. We can convert between the representations on the border to performance critical sections like Type.Util.Pack. Having done this we can clean up this module, and others like it, and keep the whole thing working as we move through.
" refactor closed blocker 0.1.3 Source Type Inferencer 0.1.2 fixed