Commit cd402bd
committed
types(unknown_sort): constrain items to Comparable
Bind merge_sort's element type to a Comparable Protocol so the signature
says "a list of items that can be compared with each other" instead of a
bare list, and keeps the element type in the return. start/end are now
annotated list[T] so the generic survives the local bindings.
Adds doctests for a comparable non-int type (strings, floats) and for the
failure mode: mixing non-comparable items must raise TypeError rather than
silently mis-sort.
The test battery picks the sort up for the shared cases and for the
rejection check. It is imported under an alias because sorts/merge_sort.py
already exports a merge_sort; the parametrize id therefore shows up as
merge_sort0/merge_sort1, the same way shrink_shell_sort already shares the
shell_sort id.1 parent db6bf8a commit cd402bd
2 files changed
Lines changed: 23 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| 8 | + | |
8 | 9 | | |
9 | | - | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
10 | 16 | | |
11 | 17 | | |
12 | 18 | | |
| |||
22 | 28 | | |
23 | 29 | | |
24 | 30 | | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
25 | 42 | | |
26 | | - | |
| 43 | + | |
| 44 | + | |
27 | 45 | | |
28 | 46 | | |
29 | 47 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
49 | 49 | | |
50 | 50 | | |
51 | 51 | | |
| 52 | + | |
52 | 53 | | |
53 | 54 | | |
54 | 55 | | |
| |||
85 | 86 | | |
86 | 87 | | |
87 | 88 | | |
| 89 | + | |
88 | 90 | | |
89 | 91 | | |
90 | 92 | | |
| |||
153 | 155 | | |
154 | 156 | | |
155 | 157 | | |
| 158 | + | |
156 | 159 | | |
157 | 160 | | |
158 | 161 | | |
| |||
0 commit comments