> 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.schonw...@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 <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 > >
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users