Closed
Description
Hygiene for self
will be a bit tricky. In particular, the AST doesn't actually contain a binding identifier for self
, which means that the resolver doesn't actually have identifiers that can be compared hygienically.
I believe that getting hygiene to work correctly for self
will involve equipping the Method node with a self
identifier, and then performing a hygienic comparison in resolution.
Metadata
Metadata
Assignees
Labels
No labels