Re: [racket-dev] internal-definition-context-seal doesn't seem to do anything

2014-08-15 Thread Matthew Flatt
If you put the code below in a module, you don't get an error, because the syntax object that has the unsealed context doesn't appear in the fully-expanded module. The syntax object is in a local macro binding that disappears. If you remove the `let' around (bind h (define q 5)) (define q 8)

[racket-dev] internal-definition-context-seal doesn't seem to do anything

2014-08-15 Thread Stephen Chang
The docs say that if I make an internal definition context with syntax-local-make-definition-context, I have to seal it with internal-definition-context-seal, otherwise an exception gets raised. But I can't get this to happen. Does someone have an example that causes the exception to get thrown? F