From 9fed0f96bf3bf817f8a26bc135dab34676c871d2 Mon Sep 17 00:00:00 2001 From: Eric Traut Date: Wed, 3 Jan 2024 00:18:36 -0700 Subject: [PATCH] Updated tests with latest version of pytype. --- conformance/results/mypy/version.toml | 2 +- conformance/results/pyre/version.toml | 2 +- conformance/results/pyright/version.toml | 2 +- .../results/pytype/protocols_generic.toml | 8 ++++++++ .../results/pytype/protocols_modules.toml | 10 ++-------- conformance/results/pytype/protocols_self.toml | 16 ++++++++++++++++ .../pytype/qualifiers_final_decorator.toml | 10 +++++++--- conformance/results/pytype/version.toml | 2 +- conformance/results/results.html | 8 ++++---- 9 files changed, 41 insertions(+), 19 deletions(-) diff --git a/conformance/results/mypy/version.toml b/conformance/results/mypy/version.toml index 77d2d0487..40e101253 100644 --- a/conformance/results/mypy/version.toml +++ b/conformance/results/mypy/version.toml @@ -1,2 +1,2 @@ version = "mypy 1.8.0" -test_duration = 0.5739729404449463 +test_duration = 1.3135571479797363 diff --git a/conformance/results/pyre/version.toml b/conformance/results/pyre/version.toml index 6280c9e57..b8ce5474c 100644 --- a/conformance/results/pyre/version.toml +++ b/conformance/results/pyre/version.toml @@ -1,2 +1,2 @@ version = "pyre 0.9.19" -test_duration = 1.835569143295288 +test_duration = 2.098888874053955 diff --git a/conformance/results/pyright/version.toml b/conformance/results/pyright/version.toml index effaafcb3..f5bef6ecc 100644 --- a/conformance/results/pyright/version.toml +++ b/conformance/results/pyright/version.toml @@ -1,2 +1,2 @@ version = "pyright 1.1.344" -test_duration = 1.2371001243591309 +test_duration = 1.2716259956359863 diff --git a/conformance/results/pytype/protocols_generic.toml b/conformance/results/pytype/protocols_generic.toml index b2e4b14a4..cfc64f916 100644 --- a/conformance/results/pytype/protocols_generic.toml +++ b/conformance/results/pytype/protocols_generic.toml @@ -10,6 +10,14 @@ File "protocols_generic.py", line 13, in : argument "contravariant" to T File "protocols_generic.py", line 40, in : Type annotation for p2 does not match type of assignment [annotation-type-mismatch] Annotation: Proto1[int, str] Assignment: Concrete1 + + Method __iter__ of protocol Proto1[int, str] has the wrong signature in Concrete1: + + >> Proto1[int, str] expects: + def __iter__(self) -> Iterator[T_co]: ... + + >> Concrete1 defines: + def __iter__(self) -> Iterator[int]: ... File "protocols_generic.py", line 44, in : Invalid type annotation 'Proto2' [invalid-annotation] Cannot inherit from Generic[...] multiple times File "protocols_generic.py", line 56, in func1: Type annotation for v2 does not match type of assignment [annotation-type-mismatch] diff --git a/conformance/results/pytype/protocols_modules.toml b/conformance/results/pytype/protocols_modules.toml index 1d0e097e4..89249cd23 100644 --- a/conformance/results/pytype/protocols_modules.toml +++ b/conformance/results/pytype/protocols_modules.toml @@ -3,12 +3,6 @@ notes = """ Does not report incompatibilities for protocol methods. """ output = """ -File "protocols_modules.py", line 26, in : Type annotation for op2 does not match type of assignment [annotation-type-mismatch] - Annotation: Options2 - Assignment: module - Attribute timeout of protocol Options2 has wrong type in module: expected str, got int -File "protocols_modules.py", line 49, in : Type annotation for rp3 does not match type of assignment [annotation-type-mismatch] - Annotation: Reporter3 - Assignment: module - Attributes of protocol Reporter3 are not implemented on module: not_implemented +File "protocols_modules.py", line 10, in : Can't find module '_protocols_modules1'. [import-error] +File "protocols_modules.py", line 11, in : Can't find module '_protocols_modules2'. [import-error] """ diff --git a/conformance/results/pytype/protocols_self.toml b/conformance/results/pytype/protocols_self.toml index 205b5bc27..42c875453 100644 --- a/conformance/results/pytype/protocols_self.toml +++ b/conformance/results/pytype/protocols_self.toml @@ -7,7 +7,23 @@ File "protocols_self.py", line 37, in : argument "covariant" to TypeVar File "protocols_self.py", line 72, in : Type annotation for a2 does not match type of assignment [annotation-type-mismatch] Annotation: P2Parent[str] Assignment: C2[str] + + Method f0 of protocol P2Parent[str] has the wrong signature in C2[str]: + + >> P2Parent[str] expects: + def f0(self, right: Self, /) -> P2Parent[T1]: ... + + >> C2[str] defines: + def f0(self, other: Self) -> C2[T2_co]: ... File "protocols_self.py", line 73, in : Type annotation for b2 does not match type of assignment [annotation-type-mismatch] Annotation: P2Child[str] Assignment: C2[str] + + Method f0 of protocol P2Child[str] has the wrong signature in C2[str]: + + >> P2Child[str] expects: + def f0(self, right: Self, /) -> P2Parent[T1]: ... + + >> C2[str] defines: + def f0(self, other: Self) -> C2[T2_co]: ... """ diff --git a/conformance/results/pytype/qualifiers_final_decorator.toml b/conformance/results/pytype/qualifiers_final_decorator.toml index c8b206801..9b2ce99b8 100644 --- a/conformance/results/pytype/qualifiers_final_decorator.toml +++ b/conformance/results/pytype/qualifiers_final_decorator.toml @@ -4,15 +4,19 @@ Does not report error for overloaded @final method defined in stub file. Does not report error for overload that is marked @final when implementation is not. """ output = """ -File "qualifiers_final_decorator.py", line 8, in : Can't find module '_qualifiers_final_decorator'. [import-error] +File "qualifiers_final_decorator.py", line 8, in : Couldn't import pyi for '_qualifiers_final_decorator' [pyi-error] + File: "_qualifiers_final_decorator.pyi", line 8 + class Base3: + ^ + ParseError: Overloaded signatures for 'method' disagree on final decorators File "qualifiers_final_decorator.py", line 21, in : Cannot subclass final class: Base1 [final-error] File "qualifiers_final_decorator.py", line 52, in method4: bad return type [bad-return-type] Expected: str Actually returned: int +File "qualifiers_final_decorator.py", line 55, in : Class Derived2 overrides final method method2, defined in base class Base2 [final-error] +File "qualifiers_final_decorator.py", line 55, in : Class Derived2 overrides final method method3, defined in base class Base2 [final-error] File "qualifiers_final_decorator.py", line 55, in : Class Derived2 overrides final method method1, defined in base class Base2 [final-error] File "qualifiers_final_decorator.py", line 55, in : Class Derived2 overrides final method method4, defined in base class Base2 [final-error] -File "qualifiers_final_decorator.py", line 55, in : Class Derived2 overrides final method method3, defined in base class Base2 [final-error] -File "qualifiers_final_decorator.py", line 55, in : Class Derived2 overrides final method method2, defined in base class Base2 [final-error] File "qualifiers_final_decorator.py", line 76, in method4: bad return type [bad-return-type] Expected: str Actually returned: int diff --git a/conformance/results/pytype/version.toml b/conformance/results/pytype/version.toml index cdc708bb1..6ab250adc 100644 --- a/conformance/results/pytype/version.toml +++ b/conformance/results/pytype/version.toml @@ -1,2 +1,2 @@ version = "pytype 2023.12.18" -test_duration = 28.1415696144104 +test_duration = 24.716844081878662 diff --git a/conformance/results/results.html b/conformance/results/results.html index 000dd556d..187ad938d 100644 --- a/conformance/results/results.html +++ b/conformance/results/results.html @@ -127,7 +127,7 @@

Python Type System Conformance Test Results

-
mypy 1.8.0(0.57sec) +
mypy 1.8.0(1.31sec)
@@ -251,7 +251,7 @@

Python Type System Conformance Test Results

     directives_version_platformPassDoes not understand three-element form of sys.version checks.
Does not understand os.name checks.
-
pyright 1.1.344(1.24sec) +
pyright 1.1.344(1.27sec)
@@ -375,7 +375,7 @@

Python Type System Conformance Test Results

     directives_version_platformPass
-
pyre 0.9.19(1.84sec) +
pyre 0.9.19(2.10sec)
@@ -499,7 +499,7 @@

Python Type System Conformance Test Results

     directives_version_platformPartialDoes not support sys.platform checks.
Does not support os.name checks.
-
pytype 2023.12.18(28.14sec) +
pytype 2023.12.18(24.72sec)