17 Aug
2018
17 Aug
'18
1:37 a.m.
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@joachim-breitner.de http://www.joachim-breitner.de/