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

[Iavor Diatchki]

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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180813/6ed31efe/attachment.html>