--- !ditz.rubyforge.org,2008-03-06/issue 
title: flattenType called too often in type checker
desc: 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.
type: :bugfix
component: tc
release: 
reporter: John Meacham <john@repetae.net>
status: :unstarted
disposition: 
creation_time: 2009-08-28 13:37:55.599760 Z
references: []

id: 2ac0a447cd64f57d12304e1ce7f43c407c742642
log_events: 
- - 2009-08-28 13:37:58.900152 Z
  - John Meacham <john@repetae.net>
  - created
  - ""