Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Names of lambda parameters should not matter #1046

Closed
lars-reimann opened this issue Apr 14, 2024 · 1 comment · Fixed by #1052
Closed

Names of lambda parameters should not matter #1046

lars-reimann opened this issue Apr 14, 2024 · 1 comment · Fixed by #1052
Assignees
@lars-reimann
Labels
enhancement 💡 New feature or request released Included in a release
Milestone
v0.12.0

Comments

@lars-reimann
Copy link
Member

lars-reimann commented Apr 14, 2024 •
edited
Loading

Is your feature request related to a problem?

Currently, the name of lambda parameters must match the declared names. This can be quite annoying.

Desired solution

Do not compare the names when checking assignability of arguments or results. Names still matter for overriding.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response
@lars-reimann lars-reimann added the enhancement 💡 New feature or request label Apr 14, 2024
@lars-reimann lars-reimann self-assigned this Apr 14, 2024
@lars-reimann lars-reimann added this to the v0.12.0 milestone Apr 14, 2024
@lars-reimann lars-reimann mentioned this issue Apr 15, 2024
Merged
@lars-reimann lars-reimann linked a pull request Apr 15, 2024 that will close this issue
feat: ignore parameter names when type checking arguments #1052
Merged
lars-reimann added a commit that referenced this issue Apr 15, 2024
@lars-reimann
feat: ignore parameter names when type checking arguments (#1052)
a1e6717 
Closes #1046

### Summary of Changes

Names of parameters of passed lambdas no longer matter for type
checking. The following code is now legal:

```
@pure fun f(callback: (p: Int) -> ())

pipeline myPipeline {
    f((q) {});
    f((q) -> 1);
}
```
lars-reimann pushed a commit that referenced this issue Apr 18, 2024
@semantic-release-bot
chore(release): 0.12.0 [skip ci]
7180e52 
## [0.12.0](v0.11.0...v0.12.0) (2024-04-18)

### Features

* better error if `+` is used for string concatenation ([#1044](#1044)) ([8be49c5](8be49c5))
* collapse class/literal types in inlay hints ([#1053](#1053)) ([7db2820](7db2820)), closes [#1048](#1048)
* **deps:** require latest runner (`v0.11.0`) ([#1058](#1058)) ([7ae1f6b](7ae1f6b))
* don't stop validation at syntax errors ([#1049](#1049)) ([db0c5d7](db0c5d7))
* error if name of static member equals name of inherited member ([#1054](#1054)) ([b8e17af](b8e17af))
* hide classes that are only for typing from auto-completion ([#1056](#1056)) ([50851d7](50851d7)), closes [#1026](#1026)
* ignore parameter names for default values and yields ([#1059](#1059)) ([dde4de0](dde4de0))
* ignore parameter names when type checking arguments ([#1052](#1052)) ([a1e6717](a1e6717)), closes [#1046](#1046)
* installer for the runner ([#1038](#1038)) ([2bde594](2bde594))
* map literals are no longer experimental ([#1039](#1039)) ([1d9af4b](1d9af4b))
* separate VS Code languages for pipeline/stub/tests ([#1043](#1043)) ([8147480](8147480))
* support for examples in documentation comments ([#1045](#1045)) ([3da6d6f](3da6d6f)), closes [#1027](#1027)
* updater for the runner ([#1042](#1042)) ([610d45b](610d45b))

### Bug Fixes

* don't sync `safe-ds.runner.command` setting ([bb57481](bb57481))
* save all files before opening the EDA tool ([d6d0c22](d6d0c22))
* start runner if configuration did not change after installation ([#1040](#1040)) ([b4f015a](b4f015a))
* substitute type parameters for lambda parameters ([#1050](#1050)) ([46145dd](46145dd)), closes [#1047](#1047)
@lars-reimann
Copy link
Member Author

🎉 This issue has been resolved in version 0.12.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

@lars-reimann lars-reimann added the released Included in a release label Apr 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lars-reimann lars-reimann

Labels
enhancement 💡 New feature or request released Included in a release
Projects
DSL
Archived in project
Milestone
v0.12.0
Development

Successfully merging a pull request may close this issue.

feat: ignore parameter names when type checking arguments Safe-DS/DSL
1 participant
@lars-reimann