Hygienic macro expansion is one of the things I still haven't implemented before. I remember a [talk][1] where Matthew Flatt illustrates the idea of sets of scopes, and choosing the largest intersection. I see in your implementation there are sets of "marks" in syntax objects, is that what's going on there?
I haven't played with rust, but when I do I'll be able to play with this scheme too.
Hygienic macro expansion is one of the things I still haven't implemented before. I remember a [talk][1] where Matthew Flatt illustrates the idea of sets of scopes, and choosing the largest intersection. I see in your implementation there are sets of "marks" in syntax objects, is that what's going on there?
I haven't played with rust, but when I do I'll be able to play with this scheme too.
[1]: https://www.youtube.com/watch?v=Or_yKiI3Ha4