Suppose I define a cons-like structure and I want to provide a form that is like quote, but produces my cons-like things when it quotes syntactic pairs. In particular, I need the form to respect the eq?-ness requirements on quoted pairs, so that:

   (define (f) '(x))
   (eq? (f) (f))     => #f

I wonder if someone could sketch how to do this in Ikarus?

Thanks,
David

Reply via email to