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

On Sat, Apr 12, 2008 at 8:53 PM, John Meacham wrote:

On Fri, Apr 11, 2008 at 07:20:33PM -0400, 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, * -> *.)

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...