[racket] okay to assemble datum->syntax #f … in stages?

Forgot to send this earlier, question still stands:

Based on my reading of the docs, the two expressions

(datum->syntax 
 #f
 (cons a b))

(datum->syntax
 #f
 (cons (datum->syntax #f a)
       (datum->syntax #f b)))

…compute equivalent values.  They're not "equal?", but I conjecture that they're interchangeable.

I'm asking this because I want to wrap the 'require's inserted by run-teaching-program.rkt with stepper hints (Eli, don't read this!), and I can't do that until they're syntax objects.  

John


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4624 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20120314/45f202ac/attachment.p7s>