<div dir="ltr"><div>Dear Marc,</div><div><br></div><div><div>As I got it, R5RS has no particular requirement here, while R7RS requires sequential evaluation order i.e. that<br></div></div><div><br></div><div>(let () (define a #t) (define b a) b) always evaluates to #t , and</div><div><br></div><div>(let () (define b a) (define a #t) b) always evaluates to #!unbound .</div><div><br></div><div><br></div><div>Comically enough, when I evaluate the above in Gambit,</div><div><br></div><div>in interpreted mode, I get #!unbound for both,<br></div><div><br></div><div>and in compiled mode, I get #t for both.</div><div><br></div><div>What's the rule and underlying though here?</div><div><br></div><div>Thanks,</div><div>Mikael</div><div><br></div></div>