[MLton] speeding up type checking by caching

Stephen Weeks MLton@mlton.org
Mon, 16 Aug 2004 10:41:12 -0700

> What happens in the case the ~/ is on a shared FS and I'm running
> multiple instances of MLton on different machines? This may not be a
> "common case", but I'd say its not exactly uncommon.

Agreed.  I see two things we could do.  We could make one of our
assumptions about the saved world be the machine on which the world
was generated, while keeping a single world per user.  This would
rebuild the cache whenever the user switches machines.  Or we could
keep a per-machine cached world.

And I guess we still have the synchronization problem with multiple
runs of MLton simultaneously on the same machine.  So, maybe the right
answer is some simple locking.