[racket-dev] The Stepper strikes again

20 minutes ago, Eli Barzilay wrote:
> I just noticed that Stephen added some properties to support the
> syntax stepper into racket/private/promise.rkt at 6921960c.  This is a
> bad idea -- *please* try find a way to remove it.

If all else fails, here's an idea:

5 hours ago, samth at racket-lang.org wrote:
> d948626 Sam Tobin-Hochstadt <samth at racket-lang.org> 2011-08-10 17:55
> | Use syntax-track-origin more pervasively to get the right arrows
> | in check syntax.

It's something that is cooperating with check-syntax, but the facility
itself is completely independent of it.  If there's need for such
annotations for the stepper, they might be rephrased in such a generic
way -- this might make sense for other macros (and languages), and the
generic thing is more easily used by other code.  (Even just a rename
means that it turns from "something that John or Stephen will change
if they feel like it" to "something that you can use to achieve X".)

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