22 Aug
2015
22 Aug
'15
9:33 a.m.
On Sat, Aug 22, 2015 at 6:23 AM, Johannes Waldmann < johannes.waldmann@htwk-leipzig.de> wrote:
I believe that (PatternSignatures and) ScopedTypeVariables should be on by default. It is currently off only to help those that are too lazy to write "forall t . " in (inner) declarations?
More because the language committee is ridiculously conservative. I think this is Public Enemy Number One as far as extensions that really ought to be part of the standard by now. -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net