Re: [jhc] darcs patch: Improve lambda/pi printing code

12 Apr 2008


      On 4/11/08, Samuel Bronson  wrote:
...
Fri Apr 11 19:01:59 EDT 2008  Samuel Bronson 
 * Improve lambda/pi printing code
 Only only put as many lambda/pi abstractions on a line as will fit.
 Use sortKindLike to get the uppercase lambdas for type variables of
 kind other than *. (For instance, * -> *.)
Hmm. I accidentally disabled kind-printing in doing this... so don't apply this.