As proof of concept, I have integrated the macro system
of this SRFI with the MzScheme source location tracking mechanism.
Examples can now be run in DrScheme 299.100 and both runtime and syntax
errors will be correctly highlighted. The implementation is at:
http://www.het.brown.edu/people/andre/macros/implementation/

The integration works by replacing current-eval and the native expansion
mechanism with that of the current SRFI, which harvests the native source
locations from the input and keeps track of these in a weak hashtable.
This is done for compound syntax objects only. Errors in atoms are referred to
the nearest enclosing expression. In most examples, errors are pinpointed with
great accuracy. The implementation of the source tracking mechanism was really
simple.