[ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)

[Eric Seidel]

I'm in favor of accepting as well.

On Mon, Aug 13, 2018, at 04:52, Iavor Diatchki wrote:
> We've had this under discussion for just about 2 weeks, and there does not
> appear to be any objections, so I think we should accept it.
> 
> On Sat, Aug 4, 2018 at 10:05 PM Christopher Allen <cma at bitemyapp.com> wrote:
> 
> > Seems reasonable to me. There's been a general push to eliminate cases
> > for Proxy as well.
> >
> > On Sat, Aug 4, 2018 at 1:33 PM, Joachim Breitner
> > <mail at joachim-breitner.de> wrote:
> > > Hi,
> > >
> > > Am Samstag, den 04.08.2018, 13:16 -0500 schrieb Christopher Allen:
> > >> Could someone give me a motivating example for what this enables?
> > >
> > > with “this”, do you refer to type applications in patterns?
> > > The main fundamental motivation is to bind existential type variables.
> > > Currently we often do this using Proxy, but we’d like a more convenient
> > > syntax that mirrors type applications in patterns.
> > >
> > >
> > > or do you refer to allowing complex patterns on both sides of an as-
> > > pattern? I don’t have an example for this handy, and maybe we actually
> > > never want that, in which case there is no issue.
> > >
> > > Cheers,
> > > Joachim
> > > --
> > > Joachim Breitner
> > >   mail at joachim-breitner.de
> > >   http://www.joachim-breitner.de/
> > >
> > > _______________________________________________
> > > ghc-steering-committee mailing list
> > > ghc-steering-committee at haskell.org
> > > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> > >
> >
> >
> >
> > --
> > Chris Allen
> > Currently working on http://haskellbook.com
> > _______________________________________________
> > ghc-steering-committee mailing list
> > ghc-steering-committee at haskell.org
> > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> >
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee