+1. Will any freevariable be considered a type hole? Or just _blah and _ ?
On Mon, Jan 13, 2014 at 2:07 PM, Erik Hesselink <hessel...@gmail.com> 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_agdalike_holes/c6gvy0r > > On Mon, Jan 13, 2014 at 8:03 PM, migmit <mig...@gmail.com> 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 <ekm...@gmail.com> написал(а): > > > > I have to admit, I rather like this suggestion. > > > > -Edward > > > > > > On Mon, Jan 13, 2014 at 1:42 PM, Krzysztof Gogolewski > > <krz.gogolew...@gmail.com> 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
