Ticket #20 (closed defect: invalid)

Opened 8 years ago

Last modified 8 years ago

Subdivide -de-verbose and -de-info flags

Reported by: SamB Owned by:
Priority: normal Milestone:
Component: unspecified Version:
Keywords: Cc:
Test Case:


Often, I want to see the actual "names" of anonymous identifiers but don't care so much about the rest of the stuff enabled by -de-verbose; likewise I might be interested in seeing the information that -de-info attaches to top-level names but not to lambda/pi bound names.

Change History

Changed 8 years ago by Lemmih

  • status changed from new to closed
  • resolution set to invalid

Doesn't apply to the new codebase.

Note: See TracTickets for help on using tickets.