Hello Marc,

We've run into a problem with the debug traces. Right now, these are generated by modifying every function in the AST to add calls to debug functions. Unfortunately, some of our primitive functions have annotations to disable global calls, and some are called before the hash consing table is created.

Could you add support in the parser for annotations in the function prologue? This way, we could simply modify the debug trace code to not annotate the functions that have specific annotations. Furthermore, it would make it possible to eventually only log specific events in the debug trace.

What we need is simply a list of the annotation strings found at the beginning of each function.

- Maxime