Ticket #20 (closed defect: invalid)

Opened 6 years ago

Last modified 5 years ago

Subdivide -de-verbose and -de-info flags

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

Description

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 5 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.