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@x | http://www.sacrideo.us
Programming is just another word for the lost art of thinking.
_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports