search

sagemath / sage-patchbot

Sage Patchbot
https://www.sagemath.org
Other
8 stars 17 forks source link

@overload decorator from the typing module triggers spurious coverage errors #161

Closed egourgoulhon closed 2 years ago

egourgoulhon commented 2 years ago

The coverage plugin seems to misinterpret the @overload syntax of the typing module (https://docs.python.org/3/library/typing.html), reporting some lack of coverage when it is used. See https://trac.sagemath.org/ticket/29775 for a example.

fchapoton commented 2 years ago

this is using sage -coverage, nothing to do with the patchbot

egourgoulhon commented 2 years ago

Ah yes, you are perfectly right!