At Fri, 06 Mar 2015 11:00:57 -0500, Neil Toronto wrote: > If two different bindings' scope sets are subsets of the same scope, > which references are ambiguous?
Sorry, I don't understand the question. Two scope sets are always both subsets of, for example, the union of the two sets; that doesn't imply any ambiguity. BTW, the solution to the problem described in section 3 doesn't work, because it doesn't handle the case of a definition--use pair that is introduced by a macro. I have a refinement that seems to work, so far; it involves adding a scope for the original pieces of a macro use, as well as a scope for the introduced pieces, but the original-piece scopes have to be remembered and removed from any identifier that is used for a binding in the same definition context. Some smaller details have also changed. More soon. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/20150306175356.49B986501B0%40mail-svr1.cs.utah.edu. For more options, visit https://groups.google.com/d/optout.
