-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 14.01.2014 17:07, Austin Seipp wrote: > We probably won't change the name right now however. It's already > been put into Cabal (as a recognized extension,) so the name has > propagated a slight bit. We can however give it a new name and > deprecate the old -XTypeHoles in the future. Or, we could change > it, but I'm afraid it's probably a bit too late in the cycle for > other devs to change.
Removing a name later on is more time-consuming, with or without deprecation. People get used to the "wrong" name and stop caring, but I can already picture the "type holes are really typed holes" discussions on IRC. I'm strongly in favour of introducing the new name (and the deprecation for the synonym) as early as possible. This change should not be very extensive anyway, so why not slip it in? Greetings, David/quchen PS: +1 in general of course -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iQEcBAEBAgAGBQJS1WJ7AAoJELrQsaT5WQUsoeQH/0vSEnyYLcAPk36sBaxf9EMb CNZM84lfnP1cgx9r0joM07iW6eA71kOnuAo0JzEOfJWJygkpoARpIJsmD0cvZdHX jibIXoiP2i50IYyMlHIoxsfQ5E4WgIsQuGQ200L5DgZuWWcgP7dk0f/AqnBeY8Mw RWd60Y5vpAOqNy2l5pw869KfVMOECKi+N2eD2UyUhbBrvs93QnCpeVrSpPNRjaoG Z7Z+rRyEGNDqoX88goOzBoxtmG/Ua6wuE6wq/bkmubCI5JE/kT+0upKeB3BfKOd1 kN72gbtAVJ+MumxAkncCk582QmcirlrbqS1ewL4xxRIEgdIqBlmTNyy6NGxB2vM= =16TU -----END PGP SIGNATURE----- _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
