Introduce -dcore2core-summary flag
Needs RevisionPublic

Authored by bgamari on Apr 13 2017, 11:20 AM.



This is similar to -dverbose-core2core but only prints binders, their types, and
sizes. I've found this useful for identifying which bindings in a large program
are blowing up during simplification.

bgamari created this revision.Apr 13 2017, 11:20 AM
mpickering requested changes to this revision.Apr 13 2017, 2:28 PM
mpickering added a subscriber: mpickering.


This revision now requires changes to proceed.Apr 13 2017, 2:28 PM

Yes, sorry; I should have been more clear. I was just pushing this here as someplace to keep it. I'm still in the process of figuring out what presentation is most usable in practice.

austin resigned from this revision.Nov 9 2017, 11:36 AM