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

6 minutes ago, Matthias Felleisen wrote:
> 
> Eli is right in principle. I sense that we are facing the same kind
> of problems we faced when we created mixins and then again when we
> created continuation marks.  We need annotations time and again and
> they couple parts of our system more closely than necessary. Problem
> is, we don't seem to see or have an abstraction that eliminates this
> coupling.

Maybe a good (re-)start would be to specify the required functionality
more precisely?  Maybe follow the recipe and start with short examples
of what's needed?

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