If a file did not parse (i.e. it was error recovered), this should be detectable during e.g. the analysis phase (to decide whether or not to actually compile it for instance).

Possible API:

ast

Or simple a global parsing-succeeded strategy (not applied to a term).

Submitted by Zef Hemel on 20 May 2010 at 17:13