[issue37058] Implement PEP 544: add Protocol to typing

2019-05-28 Thread Ivan Levkivskyi
Change by Ivan Levkivskyi : -- resolution: -> fixed stage: patch review -> resolved status: open -> closed ___ Python tracker ___ _

[issue37058] Implement PEP 544: add Protocol to typing

2019-05-28 Thread Ivan Levkivskyi
Ivan Levkivskyi added the comment: New changeset 74d7f76e2c953fbfdb7ce01b7319d91d471cc5ef by Ivan Levkivskyi in branch 'master': bpo-37058: PEP 544: Add Protocol to typing module (GH-13585) https://github.com/python/cpython/commit/74d7f76e2c953fbfdb7ce01b7319d91d471cc5ef -- ___

[issue37058] Implement PEP 544: add Protocol to typing

2019-05-26 Thread Ivan Levkivskyi
Change by Ivan Levkivskyi : -- keywords: +patch pull_requests: +13492 stage: needs patch -> patch review pull_request: https://github.com/python/cpython/pull/13585 ___ Python tracker _

[issue37058] Implement PEP 544: add Protocol to typing

2019-05-26 Thread Ivan Levkivskyi
New submission from Ivan Levkivskyi : The implementation would be basically copying some code from `typing_extension` and fixing some important known issues (such as renaming @runtime to @runtime_checkable and allowing sub-protocols of builtin protocols). Also ideally we should get rid of the