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

Samuel Bronson naesten at gmail.com
Sat Apr 12 22:19:47 EDT 2008


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


More information about the jhc mailing list