On 23Jun2017 20:30, Stephan Houben firstname.lastname@example.org wrote:
2017-06-23 17:09 GMT+02:00 Andy Dirnberger email@example.com:
It's not really a proposal. It's existing syntax.
Wow! I have been using Python since 1.5.2 and I never knew this. This is not Guido's famous time machine in action, by any chance? Guess there's some code to refactor using this construct now...
Alas, no. It is existing syntax in Standard ML, not in Python.
Cheers, Cameron Simpson firstname.lastname@example.org