source-academy / py-slang / 42545900583

88%

Build Type

push

github

Committed by web-flow

Commit Message

Typed Python §4, phase 4 (part 1): the types of modules, from a language-neutral description (#638)

* Typed Python §4, phase 4 (part 1): the types of modules, from a neutral description

A description of a module's types (module-description.ts) is mapped to a Python stub that the
checker is given for every module that a program imports. rune is described by hand, temporarily.

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

* Typed Python §4: a program cannot construct a value of an opaque type

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

* Typed Python §4: dotted module names, and descriptions whose stubs do not check

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

* Typed Python §4: a description is used only for the module that it describes

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

* Rename Typed Python §4 to Python §4 Typed

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

---------

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

Coverage Stats

7469 of 8949 branches covered (83.46%)

Branch coverage included in aggregate %.

88 of 89 new or added lines in 6 files covered. (98.88%)

6 existing lines in 1 file now uncovered.

15482 of 17139 relevant lines covered (90.33%)

298796.09 hits per line