Skip to content

Compute the binding coverage of the type inference#12960

Closed
radeusgd wants to merge 1 commit intodevelopfrom
wip/rw/type-coverage
Closed

Compute the binding coverage of the type inference#12960
radeusgd wants to merge 1 commit intodevelopfrom
wip/rw/type-coverage

Conversation

@radeusgd
Copy link
Copy Markdown
Contributor

Pull Request Description

Prototype of a tool that allows us to compute what % of bindings inside of methods have some inferred type (other than 'Any').

Important Notes

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

  • The documentation has been updated, if necessary.
  • Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
  • All code follows the
    Scala,
    Java,
    TypeScript,
    and
    Rust
    style guides. In case you are using a language not listed above, follow the Rust style guide.
  • Unit tests have been written where possible.
  • If meaningful changes were made to logic or tests affecting Enso Cloud integration in the libraries,
    or the Snowflake database integration, a run of the Extra Tests has been scheduled.
    • If applicable, it is suggested to paste a link to a successful run of the Extra Tests.

@radeusgd
Copy link
Copy Markdown
Contributor Author

radeusgd commented Apr 28, 2025

In #12901 I discovered the type inference was completely skipping inferring code of methods that have default arguments - which is many methods.

With this prototype 'coverage' tool I managed to measure that fixing this omission has increased the 'coverage' by ~50%:

Zrzut ekranu 2025-04-28 115518

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants