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

[Iavor Diatchki]

Ok, I'll mark it as accepted.

On Wed, Aug 15, 2018 at 3:38 AM Eric Seidel <eric at seidel.io> wrote:

> 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
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180815/e7290fbd/attachment.html>