[jhc] darcs patch: Improve lambda/pi printing code (and 1 more)

Samuel Bronson naesten at gmail.com
Wed Apr 16 19:28:48 EDT 2008


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, * -> *.)
  
  I had to make E.TypeCheck, E.Eval and E.Subst import E.Show with a {-#
  SOURCE #-} pragma before I could use sortKindLike. (I also had to
  write the .hs-boot file, of course).

Wed Apr 16 19:26:09 EDT 2008  Samuel Bronson <naesten at gmail.com>
  * Fix kind printing for Lambdas/foralls
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 13557 bytes
Desc: A darcs patch for your repository!
Url : http://www.haskell.org/pipermail/jhc/attachments/20080416/e16e0783/attachment-0001.bin


More information about the jhc mailing list