source-academy / py-slang / 42623277619

88%

push

github

Typed Python §4: no Any in the prelude's declarations or messages (#651)

* Typed Python §4: the prelude uses type variables and object instead of Any

Error messages showed Pair[H, Any] although the language has no Any. head, tail, set_head,
set_tail, length, print_llist, llist_to_string and stream_length now use type variables, and
error, draw_data, arity and is_function use object. is_list and is_pair keep Any: a TypeIs
result cannot contain a type variable.

Fixes #650

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* Typed Python §4: document that head, length and the like reject a union of pair or list types

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

---------

Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>

7618 of 9126 branches covered (83.48%)

Branch coverage included in aggregate %.

15819 of 17501 relevant lines covered (90.39%)

296422.87 hits per line