On Sat, Apr 12, 2008 at 8:53 PM, John Meacham <[EMAIL PROTECTED]> wrote: > On Fri, Apr 11, 2008 at 07:20:33PM -0400, Samuel Bronson wrote: > > Fri Apr 11 19:01:59 EDT 2008 Samuel Bronson <[EMAIL PROTECTED]> > > * 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... _______________________________________________ jhc mailing list jhc@haskell.org http://www.haskell.org/mailman/listinfo/jhc
