Marc, I don't really get the comment you added in ast-passes:
// TODO: the computation of clos_vars should be done elsewhere as it is not related to the semantics
Where else would you do this computation? It seems to me that it's logically related to the resolution of variable scopes. It's simply a more restricted free_vars set which doesn't include globals.
- Maxime