The raco demod tool is limited in various ways, and making it work for gregor may be challenging. The difficulty starts with define-runtime-path. The current implementation uses a quoted syntax object, which raco demod can’t handle. Even if it did, it’s not really clear how define-runtime-path should interact with raco demod, although possibly raco demod should do something like raco exe, and that might resolve the syntax-object issue in this case.

Thanks for responding. I’m very new to Racket, so I can’t say I understand what you said. However, raco demod is not blocking me in any way. At the moment, I won’t file a new bug for Racket, as I’m not sure of that would be useful (for Racket, based on your response).