Recently after upgrading from Paul's fork, substitute stopped working
inside my reduction relation. I get the following error:
> compiled-lang-binding-table: contract violation
> expected: compiled-lang?
> given: #f
> context...:
>
> /home/bluephoenix47/workspace/racket/extra-pkgs/redex/
On Mon, Oct 26, 2015 at 09:35:22PM -0700, Jordan Johnson wrote:
> On Oct 23, 2015, at 8:30 AM, Greg Hendershott
> wrote:
> > Keyword arguments: Although I'm comfortable in the #: camp, I can
> > understand people preferring :foo over #:foo for the reason that it is
> > faster to type. #: require
This role of marks has been taken over by macro-introduction scopes, so
that's still the explanation. A macro-introduction scope is added to
the right places by first adding it everywhere to the argument to a
macro transformer, then flipping it everywhere in the transformer's
result.
(The document
syntax-original? is querying a private property and that property
isn't set on the syntax object argument given to the transformer. (I
would have said because of the extra mark that's put on the argument,
but that's not happening now, but we get the same behavior anyway.)
If you call syntax-local-
4 matches
Mail list logo
