Skip to content

Commit

Permalink
Updated conformance results for mypy 1.13 and pyright 1.1.386 (#1870)
Browse files Browse the repository at this point in the history
Pyright fixed one conformance bug in callables_kwargs test.
Mypy results did not change.
  • Loading branch information
erictraut authored Oct 23, 2024
1 parent adc675f commit b4b9c4e
Show file tree
Hide file tree
Showing 6 changed files with 13 additions and 18 deletions.
4 changes: 2 additions & 2 deletions conformance/results/mypy/version.toml
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
version = "mypy 1.12.0"
test_duration = 1.7
version = "mypy 1.13.0"
test_duration = 1.5
2 changes: 1 addition & 1 deletion conformance/results/pyre/version.toml
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
version = "pyre 0.9.22"
test_duration = 4.6
test_duration = 4.4
11 changes: 3 additions & 8 deletions conformance/results/pyright/callables_kwargs.toml
Original file line number Diff line number Diff line change
@@ -1,11 +1,7 @@
conformant = "Partial"
notes = """
Incorrectly handles assert_type for unpacked TypedDict.
"""
conformant = "Pass"
output = """
callables_kwargs.py:28:5 - error: Could not access item in TypedDict
  "v2" is not a required key in "*TD2", so access may result in runtime exception (reportTypedDictNotRequiredAccess)
callables_kwargs.py:41:17 - error: "assert_type" mismatch: expected "TD1" but received "*TD1" (reportAssertTypeFailure)
  "v2" is not a required key in "TD2", so access may result in runtime exception (reportTypedDictNotRequiredAccess)
callables_kwargs.py:46:5 - error: Arguments missing for parameters "v1", "v3" (reportCallIssue)
callables_kwargs.py:51:32 - error: No parameter named "v4" (reportCallIssue)
callables_kwargs.py:52:11 - error: Expected 0 positional arguments (reportCallIssue)
Expand All @@ -32,7 +28,6 @@ callables_kwargs.py:103:19 - error: Type "(**kwargs: **TD2) -> None" is not assi
callables_kwargs.py:111:30 - error: Typed dictionary overlaps with keyword parameter: v1 (reportGeneralTypeIssues)
callables_kwargs.py:122:21 - error: Expected TypedDict type argument for Unpack (reportGeneralTypeIssues)
"""
conformance_automated = "Fail"
conformance_automated = "Pass"
errors_diff = """
Line 41: Unexpected errors ['callables_kwargs.py:41:17 - error: "assert_type" mismatch: expected "TD1" but received "*TD1" (reportAssertTypeFailure)']
"""
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
conformant = "Pass"
output = """
typeddicts_readonly_kwargs.py:33:5 - error: Could not assign item in TypedDict
  "key1" is a read-only key in "*ReadOnlyArgs" (reportTypedDictNotRequiredAccess)
  "key1" is a read-only key in "ReadOnlyArgs" (reportTypedDictNotRequiredAccess)
"""
conformance_automated = "Pass"
errors_diff = """
Expand Down
2 changes: 1 addition & 1 deletion conformance/results/pyright/version.toml
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
version = "pyright 1.1.385"
version = "pyright 1.1.386"
test_duration = 1.2
10 changes: 5 additions & 5 deletions conformance/results/results.html
Original file line number Diff line number Diff line change
Expand Up @@ -158,14 +158,14 @@ <h3>Python Type System Conformance Test Results</h3>
</header>
<div class="table_container"><table><tbody>
<tr><th class="col1">&nbsp;</th>
<th class='tc-header'><div class='tc-name'>mypy 1.12.0</div>
<div class='tc-time'>1.7sec</div>
<th class='tc-header'><div class='tc-name'>mypy 1.13.0</div>
<div class='tc-time'>1.5sec</div>
</th>
<th class='tc-header'><div class='tc-name'>pyright 1.1.385</div>
<th class='tc-header'><div class='tc-name'>pyright 1.1.386</div>
<div class='tc-time'>1.2sec</div>
</th>
<th class='tc-header'><div class='tc-name'>pyre 0.9.22</div>
<div class='tc-time'>4.6sec</div>
<div class='tc-time'>4.4sec</div>
</th>
<th class='tc-header'><div class='tc-name'>pytype 2024.10.11</div>
<div class='tc-time'>33.1sec</div>
Expand Down Expand Up @@ -608,7 +608,7 @@ <h3>Python Type System Conformance Test Results</h3>
</tr>
<tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;callables_kwargs</th>
<th class="column col2 conformant">Pass</th>
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Incorrectly handles assert_type for unpacked TypedDict.</p></span></div></th>
<th class="column col2 conformant">Pass</th>
<th class="column col2 not-conformant"><div class="hover-text">Unsupported<span class="tooltip-text" id="bottom"><p>Does not understand Unpack in the context of **kwargs annotation.</p></span></div></th>
<th class="column col2 not-conformant"><div class="hover-text">Unsupported<span class="tooltip-text" id="bottom"><p>Does not understand Unpack in the context of **kwargs annotation.</p></span></div></th>
</tr>
Expand Down

0 comments on commit b4b9c4e

Please sign in to comment.