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.
On Mon, 26 Jun 2006, Andre van Tonder wrote:
As corrobrating evidence, I can mention the syntax-case implementation in SRFI-72. That implementation satisfies declarative descriptions of hygiene. However, the implementation technique is based on an "implicitized" version of explicit renaming, not marking/substitution. There are some highly obscure corner cases where it behaves differently from the marking algorithm, while still satisfying hygiene. I have to recheck, but I think these ambiguities should be resolved by specifying the algorithm as isdone here (though perhaps a little more detail might be required).
Scratch that. I checked the purported corner case. It is not relevant to the context of the current SRFI. So, as far as I can tell, the SRFI-72 algorithm will give the same results as the mark/substitution algorithm.
Regards Andre