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

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 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 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@joachim-breitner.de http://www.joachim-breitner.de/

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@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@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee