Analysis for bodies of functions

[Bueno, Denis]

On 6/25/09 12:30 PM, "Aaron Tomb" <aarontomb at gmail.com> wrote:
> If you look at the darcs version of the package:
> 
>     darcs get http://code.haskell.org/language-c
> 
> you'll find a number of new functions. In particular, you might find
> analyseFunctionBody, tExpr, and tStmt to be interesting. If you use
> the traversal monad in Language.C.Analysis.TravMonad you can register
> callbacks at various points in the traversal.

If this is the way I need to get the results of analysing the function body,
I can do it.

> There is no code, right now, to return a table of the sort returned by
> analyseAST that includes local variables, but it might not be hard to
> write one.

I did actually check out darcs -- excellent!  I saw that function, but
wasn't sure, since the code hasn't been released, if it was just stubbed, or
really implemented.  I'm willing to debug it, if I run into problems.

Would one write such a table by gradually accumulating into a table using
the callbacks of the TravMonad?

> Also, the type checking code in tExpr and tStmt is still experimental.
> I think it works in many or most cases, but I'm not positive that it's
> entirely correct.

Type checking doesn't matter much to me, as in my application I'll be
parsing/analysing code I know compiles.


                              Denis