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

[Samuel Bronson]

On Sat, Apr 12, 2008 at 8:53 PM, John Meacham <john at repetae.net> wrote:
> On Fri, Apr 11, 2008 at 07:20:33PM -0400, Samuel Bronson 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, * -> *.)
>
>  the uppercase lambda is not valid for kinds other than *, actually, the
>  uppercase lambda is just there to help people used to system F, there is
>  no such thing in jhc core since PTS's 'pi' terms subsume explicit type
>  application terms as well as functional types. papers on PTS's (pure
>  type systems) such as the henk paper have more details on the difference
>  between PTS's and system F.

Eh? How can it be invalid when uppercase lambda is just sugar for
lowercase lambda? Henk paper didn't say anything about that...