search

jspahrsummers / adt

Algebraic data types for Python (experimental, not actively maintained)
MIT License
172 stars 14 forks source link

Added support for matching using context managers. #38

Open aarondewindt opened 4 years ago

aarondewindt commented 4 years ago

Proposed implementation for the context manager based pattern matching described in issue #37

aarondewindt commented 4 years ago

I think its only failing with the type checks. I'm not sure I broke something since the same errors appear to be part of existing issues. I'm not sure though.

aarondewindt commented 4 years ago

I'll have a look at it in the coming days. I have no experience developing mypy plugins, so it might take a while.