Open (sub)issues:

• TODOs/FIXMEs in sep-comp-tool
• Integrate sep-comp-tool into either STRJ (much easier while we’re working on it) or libstrc (better at some point if we want to support this with the C backend)
• Report an error for nullary constructors when incremental compilation is enabled
• Add a -i or similar option that compiles a complete directory tree
• Add an option to specify a cache directory (default: tree/.cache)

Submitted by Lennart Kats on 3 May 2010 at 14:39

In STRJ, at least when running inside EClipse, we might want to virtualize the cache directory for maximal performance and rather keep all of it in memory? At least as long as the total size of the library in memory isn’t more than a few MBs anyway.

When running in Eclipse, ReadFromFile uses a WeakHashMap to cache reading terms from files, so that should be pretty fast. Unfortunately, it still has to read it from file the first time, so that could be optimized a bit.