Safe-DS / DSL

Statically checked Data Science programs.
https://dsl.safeds.com
MIT License
14 stars 0 forks source link

fix: substitute type parameters for lambda parameters #1050

Closed lars-reimann closed 5 months ago

lars-reimann commented 5 months ago

Closes #1047

Summary of Changes

Type of lambda parameters can be inferred from the context. Previously, however, type parameter types that were contained in the inferred type were not substituted. Now, they also get inferred from the context.

github-actions[bot] commented 5 months ago

🦙 MegaLinter status: ✅ SUCCESS

Descriptor Linter Files Fixed Errors Elapsed time
✅ REPOSITORY git_diff yes no 0.12s
✅ TYPESCRIPT eslint 1 0 0 4.45s
✅ TYPESCRIPT prettier 1 0 0 1.09s

See detailed report in MegaLinter reports _Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff_

_MegaLinter is graciously provided by OX Security_

codecov[bot] commented 5 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 100.00%. Comparing base (db0c5d7) to head (065c734). Report is 119 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1050 +/- ## ========================================= Coverage 100.00% 100.00% ========================================= Files 98 98 Lines 19135 19203 +68 Branches 3918 3928 +10 ========================================= + Hits 19135 19203 +68 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

lars-reimann commented 5 months ago

:tada: This PR is included in version 0.12.0 :tada:

The release is available on:

Your semantic-release bot :package::rocket: