[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: When is mark applied?

This page is part of the web mail archives of SRFI 93 from before July 7th, 2015. The new archives for SRFI 93 contain all messages, not just those from before July 7th, 2015.

> If I use the antimark prescription to follow what happens, and compare
> identifiers using both marks and antimarks, I indeed get the correct result #f. 
> However, the text of the SRFI does not describe antimarks as essential to the 
> semantics, but rather as an implementation strategy.

Good point.  The antimarks are essential given how bound-identifier=? is
supposed to operate.  I will rewrite the description so that it doesn't
imply that the antimarks are an optional part of the operational