kmels/dart-haskell

Rewrite TypeExtractor to transform trees directly

Closed this issue · 1 comments

The TypeExtractor pretty prints an external core Ty and then uses parser combinators to obtain a GeneralType. This is inneficient.

This is invalidated by #32, TypeExtractor was removed in dc491d3