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.

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

Adds function return type unification. #6490

Merged
merged 4 commits into from
Sep 4, 2024

Conversation

esdrubal
Copy link
Contributor

@esdrubal esdrubal commented Sep 2, 2024

Description

The function return type unification was missing, leading to generic functions not being resolved based on the return type.

Checklist

  • I have linked to any relevant issues.
  • I have commented my code, particularly in hard-to-understand areas.
  • I have updated the documentation where relevant (API docs, the reference, and the Sway book).
  • I have added tests that prove my fix is effective or that my feature works.
  • I have added (or requested a maintainer to add) the necessary Breaking* or New Feature labels where relevant.
  • I have done my best to ensure that my PR adheres to the Fuel Labs Code Review Standards.
  • I have requested a review from the relevant team or maintainers.

The function return type unification was missing, leading to generic
functions not being resolved based on the return type.
@esdrubal esdrubal added bug Something isn't working compiler: frontend Everything to do with type checking, control flow analysis, and everything between parsing and IRgen labels Sep 2, 2024
@esdrubal esdrubal self-assigned this Sep 2, 2024
Copy link

codspeed-hq bot commented Sep 2, 2024

CodSpeed Performance Report

Merging #6490 will not alter performance

Comparing esdrubal/fix_function_return_unification (c4051c9) with master (253330d)

Summary

✅ 21 untouched benchmarks

@esdrubal esdrubal marked this pull request as ready for review September 3, 2024 10:01
@esdrubal esdrubal requested a review from a team as a code owner September 3, 2024 10:01
@IGI-111 IGI-111 merged commit a81c42e into master Sep 4, 2024
40 checks passed
@IGI-111 IGI-111 deleted the esdrubal/fix_function_return_unification branch September 4, 2024 11:16
IGI-111 pushed a commit that referenced this pull request Sep 5, 2024
## Description

This PR improves tests for #6490.
Now we have one contract test where the contract address comes from a
complex expression.

## Checklist

- [x] I have linked to any relevant issues.
- [ ] I have commented my code, particularly in hard-to-understand
areas.
- [ ] I have updated the documentation where relevant (API docs, the
reference, and the Sway book).
- [ ] If my change requires substantial documentation changes, I have
[requested support from the DevRel
team](https://github.com/FuelLabs/devrel-requests/issues/new/choose)
- [x] I have added tests that prove my fix is effective or that my
feature works.
- [ ] I have added (or requested a maintainer to add) the necessary
`Breaking*` or `New Feature` labels where relevant.
- [x] I have done my best to ensure that my PR adheres to [the Fuel Labs
Code Review
Standards](https://github.com/FuelLabs/rfcs/blob/master/text/code-standards/external-contributors.md).
- [x] I have requested a review from the relevant team or maintainers.
esdrubal added a commit that referenced this pull request Sep 6, 2024
This PR adds test that proves implicit trait constraint already returns
 an error. The method dummy ICE reported in #6377 was fixed by #6490.

Closes #6377.
ironcev added a commit that referenced this pull request Sep 6, 2024
## Description

This PR adds tests that prove that #6379 is fixed. The actual fix
happened in #6490.

Closes #6379.

## Checklist

- [x] I have linked to any relevant issues.
- [ ] I have commented my code, particularly in hard-to-understand
areas.
- [ ] I have updated the documentation where relevant (API docs, the
reference, and the Sway book).
- [ ] If my change requires substantial documentation changes, I have
[requested support from the DevRel
team](https://github.com/FuelLabs/devrel-requests/issues/new/choose)
- [x] I have added tests that prove my fix is effective or that my
feature works.
- [ ] I have added (or requested a maintainer to add) the necessary
`Breaking*` or `New Feature` labels where relevant.
- [x] I have done my best to ensure that my PR adheres to [the Fuel Labs
Code Review
Standards](https://github.com/FuelLabs/rfcs/blob/master/text/code-standards/external-contributors.md).
- [x] I have requested a review from the relevant team or maintainers.
esdrubal added a commit that referenced this pull request Sep 16, 2024
## Description

This PR adds a test that proves implicit trait constraint already
returns
 an error. The method dummy ICE reported in #6377 was fixed by #6490.

Closes #6377.

## Checklist

- [x] I have linked to any relevant issues.
- [x] I have commented my code, particularly in hard-to-understand
areas.
- [ ] I have updated the documentation where relevant (API docs, the
reference, and the Sway book).
- [ ] If my change requires substantial documentation changes, I have
[requested support from the DevRel
team](https://github.com/FuelLabs/devrel-requests/issues/new/choose)
- [x] I have added tests that prove my fix is effective or that my
feature works.
- [x] I have added (or requested a maintainer to add) the necessary
`Breaking*` or `New Feature` labels where relevant.
- [x] I have done my best to ensure that my PR adheres to [the Fuel Labs
Code Review
Standards](https://github.com/FuelLabs/rfcs/blob/master/text/code-standards/external-contributors.md).
- [x] I have requested a review from the relevant team or maintainers.

Co-authored-by: Sophie Dankel <47993817+sdankel@users.noreply.github.com>
Co-authored-by: Joshua Batty <joshpbatty@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working compiler: frontend Everything to do with type checking, control flow analysis, and everything between parsing and IRgen
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants