mietek / epigram2

Mirror of Epigram 2, by Conor McBride, et al.
https://code.google.com/p/epigram
MIT License
48 stars 7 forks source link

Type-checking profiler #75

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
This is slightly related to:
http://code.google.com/p/epigram/issues/detail?id=41

However, an SCC-based profiling is fairly low-level, we may be able to do 
something more specific, more informative restricted to the type-checker.

Original issue reported on code.google.com by pedag...@gmail.com on 3 Sep 2010 at 8:13