source-academy / py-slang

88%

main: 88%

LAST BUILD ON BRANCH typed-python-4-phase4

branch: typed-python-4-phase4

CHANGE BRANCH

x

Reset

• typed-python-4-phase4
• 082
• NearleyDSL
• add-autocomplete
• add-chapter-2-documentation
• add-chapter-3-documentation
• add-complex
• add-complex-to-docs
• add-coveralls
• add-docs-spread-expression
• add-documentation
• add-eslint
• add-for-loops
• add-grammar-types
• add-multiple-resolver-validator-errors
• add-print-llist-pvml-stepper
• add-tco
• adopt-black-python
• builtin-shadowing
• bump-common-cse-machine-0.3.1
• bump-conductor-0.8.0
• bump-conductor-0.8.3
• bump-pynter-wasm-0.2.0
• chore/no-cjs-builds
• ci-native-pynter-parity
• clear-unreachable-objects
• conditional-bool-check-py2js-stepper
• cpython-test-mode-224
• cse-frame-labels
• cse/strict-bool-if-ternary-436
• data-visualizer-none-display-value
• data-visualizer-string-repr
• dependabot/npm_and_yarn/babel/core-7.29.7
• dependabot/npm_and_yarn/brace-expansion-1.1.16
• dependabot/npm_and_yarn/brace-expansion-1.1.21
• dependabot/npm_and_yarn/browserslist-4.28.8
• dependabot/npm_and_yarn/flatted-3.4.2
• dependabot/npm_and_yarn/handlebars-4.7.10
• dependabot/npm_and_yarn/handlebars-4.7.9
• dependabot/npm_and_yarn/humanfs/node-0.16.8
• dependabot/npm_and_yarn/ip-address-10.2.0
• dependabot/npm_and_yarn/ip-address-10.4.0
• dependabot/npm_and_yarn/ip-address-10.7.2
• dependabot/npm_and_yarn/ip-address-10.7.5
• dependabot/npm_and_yarn/js-yaml-3.15.0
• dependabot/npm_and_yarn/js-yaml-3.15.1
• dependabot/npm_and_yarn/js-yaml-4.3.2
• dependabot/npm_and_yarn/linkify-it-5.0.2
• dependabot/npm_and_yarn/lodash-4.18.1
• dependabot/npm_and_yarn/markdown-it-14.1.1
• dependabot/npm_and_yarn/markdown-it-14.2.0
• dependabot/npm_and_yarn/markdown-it-14.3.2
• dependabot/npm_and_yarn/markdown-it-14.3.3
• dependabot/npm_and_yarn/mathjs-15.2.0
• dependabot/npm_and_yarn/picomatch-2.3.2
• dependabot/npm_and_yarn/serialize-javascript-7.0.5
• dependabot/npm_and_yarn/serialize-javascript-7.1.4
• dependabot/npm_and_yarn/tar-7.5.16
• dependabot/npm_and_yarn/tar-7.5.21
• dependabot/npm_and_yarn/tar-7.5.22
• deploy-docs-to-python-subfolder
• dev-under-windows/spawn-binstubs
• differential-underscores
• div
• docs-agents-instructions
• docs-estepper-guide-loops
• docs-estepper-in-python-pages
• docs-estepper-note-update
• docs-estepper-student-guide
• docs-full-estepper-note
• docs-full-estepper-status
• docs-local-source-academy-setup
• docs-prelude-types
• docs-pynter-jit
• docs-pynter-jit-status
• docs-python-estepper-spec
• docs-python-stepper-spec
• docs-python-style-guide
• docs-sourceacademy-sicp-not-published
• docs-sourceacademy-sicp-published
• docs/add-documentation-section
• docs/operator-precedence-spec
• docs/print-llist-and-list-highlighting
• e-stepper-cse-snapshots
• e-stepper-design-note
• e-stepper-engine
• e-stepper-note-no-in
• equality
• estepper-book-wording
• estepper-bounded-garbage
• estepper-breakpoint
• estepper-closure-locals-globals
• estepper-declarations-not-evaluated
• estepper-explicit-lookups
• estepper-frame-ids
• estepper-gutter-breakpoints
• estepper-hide-empty-frames
• estepper-keep-garbage-objects
• estepper-lambda-return
• estepper-list-home-holds
• estepper-nested-list-home
• estepper-no-literal-parens
• estepper-objects-keep-home
• estepper-postmessage-overflow
• estepper-recursion-error
• estepper-section4
• estepper-shadow-builtins
• estepper-snapshot-no-empty-frames
• estepper-snapshot-roots
• estepper-tail-call
• estepper-while-unfolds
• feat/add-module-loader
• feat/conductor-data-visualizer
• feat/conductor-integer-type
• feat/conductor-stepper
• feat/global-keyword
• feat/make-conductor-changes
• feat/module-closure-sync-fastpath
• feat/py2js-draw-data
• feat/py2js-rest-params-and-spread
• feat/stepper-breakpoint
• feat/stepper-output-box
• feature-191-stepper-input
• feature-383-gutter-breakpoints
• feature-385-stepper-imports
• feature/cse-machine-plugin
• feature/ev3-hardware-support
• feature/standalone-cli
• finish-pynter-rename
• fix-187-nonlocal-error-message
• fix-211-reassignment-error-location
• fix-211-reassignment-wording
• fix-214-exponent-without-dot
• fix-257-breakpoint-any-arity
• fix-341-py2js-cyclic-print
• fix-380-full-python-keywords
• fix-385-module-substitution-test
• fix-390-len-docstring
• fix-391-jsdoc-font-bug
• fix-394-triple-quote-line-tracking
• fix-397-py2js-predefined-function-error-location
• fix-4041-annotate-globals-in-frames
• fix-427-sound-module-callback-budget
• fix-469-self-name-free
• fix-alternate-alternative-wording
• fix-backslash-line-continuation
• fix-carriage-return
• fix-ci-recursion-memory
• fix-closures-in-lists-snapshot
• fix-common-stepper-peer
• fix-cpython-batch-runner-syntax-warning
• fix-docs-deploy
• fix-docs-makefile
• fix-documentation
• fix-error-type-names
• fix-js-comments-in-python-docs
• fix-lexer-build-warning
• fix-library-frames
• fix-ll-prelude
• fix-predicate-type-error-message
• fix-prelude-dual-mode-reduce-callback
• fix-premature-frame-transition-on-return
• fix-print-display-name
• fix-py2js-global-shadowing
• fix-py2js-nested-async-module-callback
• fix-py2js-stdlib-error-message
• fix-pynter-list-comparison
• fix-pynter-wasm-blob-worker-hang
• fix-pynter-wasm-cwrap-null
• fix-pynter-wasm-fault-trailer
• fix-pynterwasm-hang
• fix-pyodide-sync-opaque-arg
• fix-sendable-empty
• fix-settimeout-worker-teardown
• fix-stdlib
• fix-stepper-maxmin-arity
• fix/233-currentline-synthetic-nodes
• fix/298-revert-verbose-builtin-repr
• fix/360-document-set-timeout
• fix/478-headless-draw-data
• fix/491-flush-prints-on-error
• fix/493-wasm-true-division-by-zero
• fix/accumulate-fold-direction
• fix/complex-abs-hypot
• fix/conductor-npm-dep
• fix/cse-270-293-302-v2
• fix/cse-loop-spec-compliance
• fix/cse-machine-display-bugs-228-229
• fix/docs-pair-mutators-link
• fix/draw-data-min-args
• fix/evaluator-error-flat-line-shape
• fix/grouping-paren-source-range
• fix/llist-module-interop
• fix/llist-module-interop-stepper
• fix/misc-jsdoc-duplicate-declarations
• fix/multiple-prints
• fix/nested-lambdas
• fix/nonlocal-and-scope-validators
• fix/nonlocal-multi-name
• fix/preprocessing-error-consistency
• fix/prepublish-only
• fix/pvml-remove-instruction-limit
• fix/py-slang-190-input-popup
• fix/py2js-linked-list-sharing
• fix/range-only-in-for-header
• fix/reserve-range-name
• fix/resolver-error-caret-offset
• fix/sicp-release-version-guard
• fix/sicp-version-bump-0.2.0
• fix/stepper-binding-substitution-timing
• fix/stepper-lambda-param-capture
• fix/stepper-reject-chapters-above-2
• fix/tail-call-optimisation
• full-estepper-engine-core
• function-source-in-snapshots
• global
• global-declares-names
• grader-typed-entry
• ispair-experiment
• issue-189-cse-machine-breakpoint
• jspy
• lambda-body-explicit-return
• list-indexing-multiplication-299
• local-demo
• main
• math-nextafter-ulp
• migrate-stdlib
• more-package-improvements
• nan-in-containers
• numeric-underscores
• operators
• parse-assignment-no-block
• parser-full-expressions-a
• parser-full-expressions-b
• parser-full-statements
• parser-stage1-syntax
• parser/non-associative-comparisons
• pass
• port-stdio
• pr1-directory-restructure
• pr2-svml-compiler
• prelude-no-any
• publishing
• pvml-browser-revival
• pvml-draw-data
• pvml-math-domain-and-runner-coverage
• pvml-module-loading
• pvml-native-pynter-parity
• py2js-builtin-shadowing
• py2js-engine
• py2js-local-file-imports
• pynter-64bit
• pynter-parity-report-script
• pynter-skip-gate
• pynter-wasm-rebuild
• pyodide-asset-download-race
• pyodide-callback-proxy-lifetime
• pyodide-evaluator
• pyodide-module-imports
• pyodide-torch
• python-2-support
• python-3-doc
• python-4-doc-update
• python-4-docs
• python-4-support
• python-compile-time-checks
• python-evaluation-order
• python-number-semantics
• python-package
• python-small-fixes
• python-string-semantics
• release-1.2.0
• release-sicp-0.3.0
• remove-envsteps
• remove-equal-215-on-equality
• remove-list-length
• remove-unused-packages
• renamings
• repl-engine-rename-and-wasm
• repl-multi-chunk-evaluator-tests
• set-timeout-py2js
• single
• skip-complex-number-tests-pynter
• some-fixes
• standalone-repl-cjs
• step-limit
• stepper-builtin-hover-popup
• stepper-cycle-display
• stepper-def-after-step-gone
• stepper-honor-configured-step-limit
• stepper-import-reassignment
• stepper-import-shadowing
• stepper-import-timing
• stepper-library-function-popup
• stepper-library-one-step
• stepper-module-callback
• stepper-module-function-popup
• stepper-no-repl-result
• stepper-opaque-thumbnails
• stepper-operator-conformance
• stepper-self-ref-declaration
• stepper-unbound-local-447
• styleguide-reduce
• svml-sinter-repl
• test-py2js-set-timeout-reschedule-chain
• test/py-cse-plugin
• test/pynter-conditional-bool
• timeout
• typed-python-4
• typed-python-4-annotations
• typed-python-4-evaluator
• typed-python-4-no-slash
• typed-python-4-phase4-modules
• typed-python-4-plan-phase4
• typed-python-4-spec-types
• unassigned-local-error
• undeclared
• update-docs-chapter-1-2
• update-docs-chapter-3
• wasm-builtins-slice-488
• wasm-compiler
• wasm-compiler-chapter-4
• wasm-compiler-conductor-integration
• wasm-error-message-alignment
• wasm-fix-shadow-stack-unary-comparison
• wasm-module-loading
• wasm-operator-conformance
• wasm-str-repr
• wasm/strict-bool-if-ternary-437
• worktree-issue-223-local-var-allocation

Build # 42543268980

Build Type

Pull #638

github

Committed by web-flow

Commit Message

Merge 991daaee5 into f1576ba30

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

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%)

15488 of 17139 relevant lines covered (90.37%)

301438.12 hits per line