[racket-dev] syntax-property guards? (was: Re: The Stepper strikes again)

From: Eli Barzilay (eli at barzilay.org)
Date: Sat Aug 13 12:51:40 EDT 2011

10 minutes ago, Sam Tobin-Hochstadt wrote:
> `match' also currently adds a syntax property to help the Typed
> Racket type checker understand the expansion.  Like 'disappeared-use
> for Check Syntax, this property is in theory semantically
> independent of Typed Racket, but only used there.

No, when your property is called `typechecker:called-in-tail-position'
it is not independent of a "typecheker".  It will be, if it gets a
generic name, and gets documented which turns it from a backdoor for a
backward dependency to a known API.

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.