23 Jun
2017
23 Jun
'17
10:43 p.m.
On 23Jun2017 20:30, Stephan Houben
2017-06-23 17:09 GMT+02:00 Andy Dirnberger
: 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