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

John Meacham john at repetae.net
Sat Apr 12 20:53:33 EDT 2008


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. 

                John


-- 
John Meacham - ⑆repetae.net⑆john⑈


More information about the jhc mailing list