I am experimenting with Rosette (https://github.com/emina/rosette), an s-exp language embedded in racket. I want to step through a rosette program using GUI debugging facilities in DrRacket IDE. However, unlike a racket program, the execution of a rosette program in debug mode doesn't pause at the top-most expression; as soon as I click on the debug button, it runs through to completion. Consequently, I have no way of observing intermediate execution states.
This makes me wonder if DrRacket IDE's debugging facilities are available to embedded s-exp languages.
