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

On 3 May 2010 at 15:53 Karl Trygve Kalleberg commented:

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.


On 3 May 2010 at 15:56 Lennart Kats commented:

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.


On 4 February 2011 at 15:15 Tobi Vollebregt tagged !tvo

Log in to post comments