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

Samuel Bronson 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 mailing list