Add a parse table checksum to `parse-cache` files
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.
Submitted by Lennart Kats on 21 June 2010 at 12:04
Issue Log
On 23 June 2010 at 14:37 Lennart Kats commented:
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…
Log in to post comments