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

[Samuel Bronson]

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).
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 12131 bytes
Desc: A darcs patch for your repository!
Url : http://www.haskell.org/pipermail/jhc/attachments/20080411/4c586ec8/attachment.bin