Re: [racket] Syntax certificate question

2011-06-04 Thread Carl Eastlund
Okay, I don't understand what's going on, but I've fixed the program. First I had to apply the result of (syntax-local-certifier #t) directly to the reference to identity. I don't know why this is. I also had to expand the body of with-macro in the internal definition context I created, so that r

Re: [racket] Syntax certificate question

2011-06-04 Thread Carl Eastlund
On Sat, Jun 4, 2011 at 3:17 PM, Jay McCarthy wrote: > 2011/6/4 Carl Eastlund : >> A question for the syntax certificate connoisseurs out there.  The >> program below produces the following error message: >> >>  compile: access from an uncertified context to unexported variable >> from module: "A"

Re: [racket] Syntax certificate question

2011-06-04 Thread Jay McCarthy
2011/6/4 Carl Eastlund : > A question for the syntax certificate connoisseurs out there.  The > program below produces the following error message: > >  compile: access from an uncertified context to unexported variable > from module: "A" in: identity > > Why is the reference to identity from withi

[racket] Syntax certificate question

2011-06-04 Thread Carl Eastlund
A question for the syntax certificate connoisseurs out there. The program below produces the following error message: compile: access from an uncertified context to unexported variable from module: "A" in: identity Why is the reference to identity from within the module that binds it illegal?