> Can you define an "other stuff" non-terminal O: > > (O hole ....) > > and sprinkle some Os in A: > > (A hole (in-hole (in-hole O ((in-hole O A) e)) (λ x (in-hole O A))))
Something along this line could work. But I would need side conditions to make sure that the O doesnt mess up the "A-ness" property of the A. Being able to split A's is only part of the problem though. I think ultimately, the problem is that I still want to be able to combine context definitions. For example, I need A to be one possible case in another context definition E. > There would be no loop if C didn't include hole: > > (L (λ x hole) (hole e)) > (C L (in-hole L C)) > > Can you still define what you want using this C? C must be able to be a hole in the code I have. But maybe it doesnt have to with your O idea above. Thanks for the ideas! _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev