Document convergence functionality

inducer / pytools

http://pypi.python.org/pypi/pytools

Other

70 stars 25 forks source link

Document convergence functionality #237

Closed inducer closed 5 months ago

matthiasdiener commented 5 months ago

This also seems to work as a mypy workaround: https://github.com/inducer/pytools/pull/236/commits/4f9f5a63634d2e1ccbba3de53c4b9ef478d98e4b (from #236)

alexfikl commented 5 months ago

This also seems to work as a mypy workaround: 4f9f5a6 (from #236)

Haven't checked locally, but that should work!

Just removing --follow-imports goes through the existing imports and fails because they're not typed for --strict. That's why I also removed --strict in #235.