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

fe: improve type inference, infer type param from usage in arg #2585

Conversation

michaellilltokiwa
Copy link
Member

fixes #1636
fixes #2527

@michaellilltokiwa michaellilltokiwa added the front end related to the front end until .fum file is created: call and type resolution, type checking, etc. label Feb 21, 2024
Copy link
Member

@fridis fridis left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Very nice, only a minor code improvement suggestion.

src/dev/flang/ast/Call.java Outdated Show resolved Hide resolved
Co-authored-by: Fridtjof Siebert <48821596+fridis@users.noreply.github.com>
@fridis fridis merged commit 78d3ea9 into tokiwa-software:main Feb 23, 2024
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
front end related to the front end until .fum file is created: call and type resolution, type checking, etc.
Projects
None yet
2 participants