Analysis for bodies of functions
aarontomb at gmail.com
Thu Jun 25 14:30:44 EDT 2009
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.
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
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
On Thu, Jun 25, 2009 at 9:12 AM, Bueno, Denis<denbuen at sandia.gov> wrote:
> Hi all,
> Language.C.Analysis.AstAnalysis.analyseAST has helped immensely for a part
> of a project I'm working on. Is there a similar analysis I can run in local
> scopes, i.e, to analyse a a function body?
> Language-c mailing list
> Language-c at projects.haskell.org
More information about the Language-c