Closed this issue 12 years ago · 1 comments
The TypeExtractor pretty prints an external core Ty and then uses parser combinators to obtain a GeneralType. This is inneficient.
Ty
This is invalidated by #32, TypeExtractor was removed in dc491d3