Enable TypeHoles by default?

[Simon Peyton Jones]

| Perhaps already as part of such a feedback round/bikeshedding
| opportunity, I'm wondering if I'm the only one who finds the name
| "TypeHoles" confusing, since as far as I understand, the extension
| enables holes in *expressions*, not types...  I would personally find
| something like TypedHoles (note the added d) or ExpressionHoles or
| something similar more intuitive. 

I certainly don't mind adding "TypedHoles" as a synonym, use it in the user manual, and deprecate TypeHoles (and remove it later).  If (a) no one objects and (b) someone wants to send a patch.

Simon


| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of
| Dominique Devriese
| Sent: 13 January 2014 12:56
| To: ghc-devs at haskell.org
| Subject: Re: Enable TypeHoles by default?
| 
| Perhaps already as part of such a feedback round/bikeshedding
| opportunity, I'm wondering if I'm the only one who finds the name
| "TypeHoles" confusing, since as far as I understand, the extension
| enables holes in *expressions*, not types...  I would personally find
| something like TypedHoles (note the added d) or ExpressionHoles or
| something similar more intuitive. Not that I have strong feelings about
| this, though...  Note that I haven't actually tried the extension yet,
| but from the description, it seems like a very nice addition to GHC, so
| kudos to whoever did the work...
| 
| Regards,
| Dominique
| 
| 2014/1/13 Richard Eisenberg <eir at cis.upenn.edu>:
| > Maybe I'm missing something here, but how does specifying TypeHoles
| make GHC not compliant with Haskell 2010? Turning on TypeHoles should
| change only error messages. The set of programs that compile (and their
| meanings) should remain unchanged, by my understanding.
| >
| > I'm mildly in favor of this change, but I agree that perhaps a
| conversation on the users list and/or waiting a cycle isn't a bad idea.
| >
| > Richard
| >
| > On Jan 13, 2014, at 4:51 AM, Simon Marlow <marlowsd at gmail.com> wrote:
| >
| >> On 12/01/2014 22:56, Krzysztof Gogolewski wrote:
| >>> I propose to enable -XTypeHoles in GHC by default.
| >>
| >> GHC supports strict Haskell 2010 by default, and enabling any
| extensions breaks that property.  That's why we don't have any
| extensions on by default.
| >>
| >> Cheers,
| >>       Simon
| >> _______________________________________________
| >> ghc-devs mailing list
| >> ghc-devs at haskell.org
| >> http://www.haskell.org/mailman/listinfo/ghc-devs
| >
| > _______________________________________________
| > ghc-devs mailing list
| > ghc-devs at haskell.org
| > http://www.haskell.org/mailman/listinfo/ghc-devs
| _______________________________________________
| ghc-devs mailing list
| ghc-devs at haskell.org
| http://www.haskell.org/mailman/listinfo/ghc-devs