diff options
| -rwxr-xr-x | check_checkers.py | 4 | ||||
| -rw-r--r-- | issues.toml | 6 | ||||
| -rw-r--r-- | puzzles/basic_assign_incompatible.py (renamed from puzzles/00_assign_wrong_type.py) | 0 | ||||
| -rw-r--r-- | puzzles/basic_assign_reassign.py (renamed from puzzles/01_assign_reassign.py) | 0 | ||||
| -rw-r--r-- | puzzles/basic_lenient.py (renamed from puzzles/02_append.py) | 0 | ||||
| -rw-r--r-- | puzzles/basic_missing_type_param.py (renamed from puzzles/03_missing_type_param.py) | 0 | ||||
| -rw-r--r-- | puzzles/basic_type_error_in_untyped_def.py (renamed from puzzles/04_type_error_in_untyped_def.py) | 0 | ||||
| -rw-r--r-- | puzzles/infer_def_return_type.py (renamed from puzzles/10_infer_return_type.py) | 0 | ||||
| -rw-r--r-- | puzzles/infer_literal_expr_value.py (renamed from puzzles/30_literal_eval_expr.py) | 0 | ||||
| -rw-r--r-- | puzzles/recursive_type.py (renamed from puzzles/40_recursive_types.py) | 0 | ||||
| -rw-r--r-- | puzzles/seq_try_except_finally.py (renamed from puzzles/20_try_except_finally.py) | 0 | ||||
| -rw-r--r-- | puzzles/typing_literal_enum_name.py (renamed from puzzles/31_literal_enum_name.py) | 0 | ||||
| -rw-r--r-- | puzzles/typing_protocol_missing_member.py (renamed from puzzles/32_protocol_missing_member.py) | 0 | ||||
| -rw-r--r-- | puzzles/typing_typevar_constrained.py (renamed from puzzles/50_typevar_constrained.py) | 0 |
14 files changed, 4 insertions, 6 deletions
diff --git a/check_checkers.py b/check_checkers.py index 1855300..f6d2a9b 100755 --- a/check_checkers.py +++ b/check_checkers.py @@ -273,9 +273,7 @@ def run( ), ) issue = checker_issues.get( - os.path.splitext(os.path.basename(puzzle))[0].split( - '_', maxsplit=1 - )[1] + os.path.splitext(os.path.basename(puzzle))[0] ) if issue: out.write('<br>(') diff --git a/issues.toml b/issues.toml index c8611f5..81cd3d4 100644 --- a/issues.toml +++ b/issues.toml @@ -1,6 +1,6 @@ [mypy] -recursive_types = '<a href="https://github.com/python/mypy/issues/731">issue 731</a>' -typevar_constrained = '<a href="https://github.com/python/mypy/issues/11880">issue 11880</a>' +recursive_type = '<a href="https://github.com/python/mypy/issues/731">issue 731</a>' +typing_typevar_constrained = '<a href="https://github.com/python/mypy/issues/11880">issue 11880</a>' [pytype] -literal_enum_name = '<a href="https://github.com/google/pytype/issues/790">issue 790</a>' +typing_literal_enum_name = '<a href="https://github.com/google/pytype/issues/790">issue 790</a>' diff --git a/puzzles/00_assign_wrong_type.py b/puzzles/basic_assign_incompatible.py index 6298e46..6298e46 100644 --- a/puzzles/00_assign_wrong_type.py +++ b/puzzles/basic_assign_incompatible.py diff --git a/puzzles/01_assign_reassign.py b/puzzles/basic_assign_reassign.py index aeed688..aeed688 100644 --- a/puzzles/01_assign_reassign.py +++ b/puzzles/basic_assign_reassign.py diff --git a/puzzles/02_append.py b/puzzles/basic_lenient.py index 3511512..3511512 100644 --- a/puzzles/02_append.py +++ b/puzzles/basic_lenient.py diff --git a/puzzles/03_missing_type_param.py b/puzzles/basic_missing_type_param.py index a2bcf80..a2bcf80 100644 --- a/puzzles/03_missing_type_param.py +++ b/puzzles/basic_missing_type_param.py diff --git a/puzzles/04_type_error_in_untyped_def.py b/puzzles/basic_type_error_in_untyped_def.py index 6c87c71..6c87c71 100644 --- a/puzzles/04_type_error_in_untyped_def.py +++ b/puzzles/basic_type_error_in_untyped_def.py diff --git a/puzzles/10_infer_return_type.py b/puzzles/infer_def_return_type.py index 2776442..2776442 100644 --- a/puzzles/10_infer_return_type.py +++ b/puzzles/infer_def_return_type.py diff --git a/puzzles/30_literal_eval_expr.py b/puzzles/infer_literal_expr_value.py index dce14aa..dce14aa 100644 --- a/puzzles/30_literal_eval_expr.py +++ b/puzzles/infer_literal_expr_value.py diff --git a/puzzles/40_recursive_types.py b/puzzles/recursive_type.py index 5de796c..5de796c 100644 --- a/puzzles/40_recursive_types.py +++ b/puzzles/recursive_type.py diff --git a/puzzles/20_try_except_finally.py b/puzzles/seq_try_except_finally.py index d63ab10..d63ab10 100644 --- a/puzzles/20_try_except_finally.py +++ b/puzzles/seq_try_except_finally.py diff --git a/puzzles/31_literal_enum_name.py b/puzzles/typing_literal_enum_name.py index a743168..a743168 100644 --- a/puzzles/31_literal_enum_name.py +++ b/puzzles/typing_literal_enum_name.py diff --git a/puzzles/32_protocol_missing_member.py b/puzzles/typing_protocol_missing_member.py index 79bd70e..79bd70e 100644 --- a/puzzles/32_protocol_missing_member.py +++ b/puzzles/typing_protocol_missing_member.py diff --git a/puzzles/50_typevar_constrained.py b/puzzles/typing_typevar_constrained.py index 4cff369..4cff369 100644 --- a/puzzles/50_typevar_constrained.py +++ b/puzzles/typing_typevar_constrained.py |