[jhc] darcs patch: Improve lambda/pi printing code
Samuel Bronson
naesten at gmail.com
Wed Apr 16 19:27:56 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).
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 12383 bytes
Desc: A darcs patch for your repository!
Url : http://www.haskell.org/pipermail/jhc/attachments/20080416/3c082a4e/attachment.bin
More information about the jhc
mailing list