tools to debug syntax extensions

Stream: lean4

[Jakob von Raumer]

I feel like it's super hard to debug syntax declarations and elaborators, are there any tools to help with detecting cycles in the parser in the case of parsers that cause stack overflows?

[Sebastian Ullrich]

I don't think I had to worry about that before. Do you not get a stack trace?