Enabling TypeHoles by default
dluposchainsky at googlemail.com
Tue Jan 14 16:14:51 UTC 2014
-----BEGIN PGP SIGNED MESSAGE-----
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?
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/
-----END PGP SIGNATURE-----
More information about the Glasgow-haskell-users