Andy:

IMO, the following program:

 	(define t 1)
 	(define-syntax define-const
 	  (syntax-rules ()
 	    ((_ var val)
 	     (begin
 	       (define t val)
 	       (define (var) t)))))
 	(define-const foo 2)
 	t

Evaluated in any context, including the REPL and the top-level of any
library or of any internal lexical scope, should evaluate to the same thing,
and I believe this is the case with most implementations.  I consider this a
matter of giving proper hygienic guarantees in all levels that this should
evaluate to 1.

--
Aaron W. Hsu | arcfide@sacrideo.us | http://www.sacrideo.us
Programming is just another word for the lost art of thinking.

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports