Yeah that's unfortunate. I planned on fixing this, maybe you can help out? The pragma is not eliminated if you declare your macro like macro handlePragmas( arg: untyped ): typed
but I can imagine you like to work on sem'checked AST instead. If the whole excercise is code optimization, you can also consider to use a term rewriting macro instead. These run after sem'check too.