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

[Joachim Breitner]

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/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180804/d21a3ff5/attachment.sig>