Commit Graph

2 Commits

Author SHA1 Message Date
Tzu-ping Chung a270ca5616 Mypy is wrong 2020-10-13 16:06:00 +08:00
Tzu-ping Chung 8326148149 Implement "lazy sequence" to avoid Internet
find_matches() is modified to return a special type that implements
the sequence protocol (instead of a plain list). This special sequence
type tries to use the installed candidate as the first element if
possible, and only access indexes when the installed candidate is
considered unsatisfactory.
2020-10-13 16:06:00 +08:00