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

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sat Aug 13 12:58:04 EDT 2011

On Sat, Aug 13, 2011 at 12:51 PM, Eli Barzilay <eli at barzilay.org> wrote:
> 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.

The *semantic* independence of the property and the typechecker
implementation is not determined either by the name of the property or
the documentation.

sam th
samth at ccs.neu.edu

Posted on the dev mailing list.