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

Build generic constraints #659

Draft

CohenArthur wants to merge 5 commits into master from build-generic-constraints

Member

CohenArthur commented Mar 9, 2024 •

edited

Loading

For function arguments, the TypedValue and the Binding refer to each other which is weird
How to not name resolve functions which are generic? This is annoying with a flat representation because we don't have the function's context, right? Unless we look at the parent scope?
Maybe a solution for this would be to make name resolution use the TreeLike visitor then, at least to build some sort of context

CohenArthur added 5 commits

March 9, 2024 16:21


          fire: Cleanup node accessors

f03352d


          fir: Add base for TreeLike visitor

3eacc5b


          name_resolve: Define generic types as types


          typecheck: Add base for building generic constraints

11b7544


          typecheck: Continue trying to build constraints

4ac4e68

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

Labels

None yet