...@haskell.org] *On Behalf Of
*Krzysztof
Gogolewski
*Sent:* 12 January 2014 22:56
*To:* ghc-devs@haskell.org
*Subject:* Enable TypeHoles by default?
Hello,
I propose to enable -XTypeHoles in GHC by default.
Unlike other -X* flags, holes do not really change meaning of the program
* Simon Peyton Jones simo...@microsoft.com [2014-01-13 08:57:51+]
This would be fine by me - it's a user-experience question.
It would slightly threaten the notion that GHC is, by default, a
Haskell-2010 compiler; that is, it accepts H-2010 programs and rejects
non-H2010 programs.
But
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
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
Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of
| Dominique Devriese
| Sent: 13 January 2014 12:56
| To: ghc-devs@haskell.org
| Subject: Re: Enable TypeHoles by default?
|
| Perhaps already as part of such a feedback round/bikeshedding
| opportunity, I'm wondering
I have re-sent the question to glasgow-haskell-users; to avoid duplication,
let's continue the thread there.
___
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs
Hello,
I propose to enable -XTypeHoles in GHC by default.
Unlike other -X* flags, holes do not really change meaning of the program,
they only change error messages. Instead of _x not in scope, we
effectively get _x not in scope, its expected type is a - a. You get it
only if you precede the
So would this *improve* error message quality for new users? Defaults that
make it easier for haskellers old and new both are a tough balance to make!
On Sun, Jan 12, 2014 at 6:40 PM, Dan Frumin difru...@gmail.com wrote:
Hi!
On 13 Jan 2014, at 02:56, Krzysztof Gogolewski