search

mwleeds / epigram

Automatically exported from code.google.com/p/epigram
0 stars 0 forks source link

Check for schemes in "show context" #5

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The "show context" tactic (implemented in
Tactics/Information.lhs#infoContextual) should either display schemes or
hide implicit arguments. At present, it displays the fully explicit type
(but with shared parameters removed).

Original issue reported on code.google.com by adamgundry on 11 May 2010 at 10:24

GoogleCodeExporter commented 9 years ago 
On the principle of not improving Cochon further unless absolutely necessary, I 
am not planning to fix this. Feel free to reopen this issue if you disagree.

Original comment by adamgundry on 13 Aug 2010 at 10:12