name resolution for type variables #56

Open
opened 2026-08-18 08:36:23 +02:00 by st · 0 comments
Owner

cuurrently type variables name resolution is a little ad hoc, it deserves the same treatment as variables and concrete types, i e. being resolved in the name resolution pass

this means for now type variables is the only thing that needs a name env post name resolution and this has been the source of multiple bugs

cuurrently type variables name resolution is a little ad hoc, it deserves the same treatment as variables and concrete types, i e. being resolved in the name resolution pass this means for now type variables is the only thing that needs a name env post name resolution and this has been the source of multiple bugs
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
st/amelie#56
No description provided.