Re: Enabling TypeHoles by default

Will any freevariable be considered a type hole? Or just _blah and _ ? -XTypeHoles makes holes only out of _blah (where _blah is not in scope) and _.

On Mon, Jan 13, 2014 at 8:11 PM, Carter Schonwald < carter.schonwald@gmail.com> wrote:

+1. Will any freevariable be considered a type hole? Or just _blah and _ ?

On Mon, Jan 13, 2014 at 2:07 PM, Erik Hesselink wrote:

...

I think that's a good idea. It was also suggested in a reddit thread [0] a year ago, and it doesn't seem like that thread has any arguments against it.

Erik

[0] http://www.reddit.com/r/haskell/comments/10u7xr/ghc_head_now_features_agdali...

On Mon, Jan 13, 2014 at 8:03 PM, migmit wrote:

...

Agreed. Having it in 7.8 would be very nice, and yes, I don't see how it can break anything.

Отправлено с iPad

13 янв. 2014 г., в 22:54, Edward Kmett написал(а):

I have to admit, I rather like this suggestion.

-Edward

On Mon, Jan 13, 2014 at 1:42 PM, Krzysztof Gogolewski wrote:

...

Hello,

As discussed on ghc-devs, I propose to enable -XTypeHoles in GHC by default. Rationale:

(1) This way holes are far easier to use; just entering "_" allows to check type of a subexpression, no need of adding "-XTypeHoles".

(2) This affects error messages only; i.e. the set of programs that compile stays the same - Haskell 2010. The only exception is that if

you use

...

-fdefer-type-errors, then a program with a hole compiles, but this seems fine with philosophy of -fdefer-type-errors.

If so: would you like it to be in 7.8 or wait a cycle? My preference is 7.8, two people (John and Richard) suggested 7.10.

-KG

_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users