Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Enhanced toplevel #5430
Original bug ID: 5430
Zheng Li provides an improved toplevel.
Comment author: @garrigue
The #show_* directives proposed in #5377 seem to correspond to the #query directive of enthop, with two differences:
The goal of #show_* is to display a precise definition, and to make sure that it is readable (modules can be huge).
There are other good ideas in enhtop, like showing the internal number for shadowed type constructors (usually this is only done in type errors).