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

[Joachim Breitner]

Hi Richard,

Am Donnerstag, den 16.08.2018, 22:28 -0400 schrieb Richard Eisenberg:
> Considering this future of relaxed ordering requirements on data
> constructors isn't compulsory, but I do think it's better if we don't
> paint ourselves into a corner around this.

I agree.

But so what do we do? Already now require that there is no space
between @ and the following token when the user wants to use type
applications in the pattern?

And would we also require the user to add a space after an at-pattern?
In which case we should probably start a deprecation cycle for the
currently legal

   foo (a @b) = …


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/20180816/ce8cd1f9/attachment.sig>