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!
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
