Add a parse table checksum to `parse-cache` files
StrategoXT #829 - New Feature (by Lennart Kats on Jun 21)
If a parse table changes, the cached files should be reparsed. Annoyingly, the checksum will probably not be the same for the Java and C platforms... Alternatively, a time stamp could be used, but only for file-based parse tables, and even that may not be 100% the same on both platforms.
Issue Log
One problem with this feature is that it would invalidate the parse cache every time the meta-syntax changes, which changes every time the syntax changes. So for every small syntax change it would have to reparse the world...On Jun 23 Lennart Kats wrote:
Log in to post comments
