Hi, I have been playing around with the Elixir AST (trying to help with an Issue in Credo) and I found two things that I would like to know more about.

The issue was that Credo has an ABC complexity metric check and it has to detect function calls, but the AST (such as the one that Code.string_to_quoted gives) has very little syntatic information, i.e., I expected that terms would be marked with their syntatic category (variables, functions, etc).

I tried reading the Elixir compiler source or the Code and Macro modules to find if there was a way to get that information but I could not find it.

I also failed to find how to maintain a stack using the Macro.traverse/prewalk/postwalk calls (to keep information about the current lexical scope).

The book on Elixir Metaprogramming is wonderful on writing macros, but does anyone know a resource about analyzing the AST, even if that means diving deeper in the compiler and using lower-level representations? I would be immensely grateful for that!