[ghc-steering-committee] #179: Tweak the printing of foralls, recommendation: accept

[Joachim Breitner]

Dear Committee,

Richard, in collarboration with Simon PJ, proposes some tweaks to how
foralls are printed by GHC.

In particular, whenever a type variable is printed with an forall, it
is printed with {a} unless it is a specified variable. And there are
tweaks to what :type does with its argument that makes it more useful,
and obviates the need for a separate :type +v.
https://github.com/goldfirere/ghc-proposals/blob/printing-foralls/proposals/0000-printing-foralls.rst

I like that it actually simplifies the UI (by removing :type +v), so I
recommend acceptance.

Cheers,
Joachim
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20190314/d061ae42/attachment.sig>