Andre van Tonder wrote:
>  Good point.  I assume you mean expressions like
>
>    (define ones (quote #0=(1 . #0#)))

Yes.  If define is implemented as a macro, then such a definition
is no longer possible.

>  The procedures that would have to be changed to support this are the
>  current implementations of datum->syntax and syntax->datum, essentially
>  lifting the algorithm of SRFI-38 in the way you suggest.

Perhaps you might want to modify the reference implementation with stubs
so people can plug in a (implementation-specific) mechanism:

(define (get-datum->syntax d) #f)
(define (set-datum-syntax d s) (if #f '()))
(define (get-syntax->datum s) #f)
--
	--Per Bothner
xxxxxx@bothner.com   http://per.bothner.com/