Marc, do you have any time to fix the parser issues we discussed before leaving? There are a few things I'd like to fix in the IR conversion that I'd can't really do until those fixes are applied.

Things to fix: - Identifier objects not the same for parameters vs locals that are parameters - Scope of var declarations inside catch - Function declarations inside catch resolve their variable to the outer containing function, not the catch scope (but function expressions behave as you would expect)

Feature requests (lesser priority): - conservative eval use detection - conservative arguments object use detection - function prologue annotations extraction, functions should have a field that is a list of all prologue annotation strings

- Maxime