[jhc] darcs patch: Improve lambda/pi printing code
naesten at gmail.com
Sat Apr 12 14:14:47 EDT 2008
On 4/11/08, Samuel Bronson <naesten at gmail.com> wrote:
> Fri Apr 11 19:01:59 EDT 2008 Samuel Bronson <naesten at gmail.com>
> * 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.
More information about the jhc