Enabling TypeHoles by default

[David Luposchainsky]

-----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-----