kazu-yamamoto/ghc-mod — pull request #383 by kazu-yamamoto (2014-10-03 07:37:39+00:00)
Title: No set

@DanielG I have used this patch set at least for one week and it seems stable. Please merge them and make a new release.

- if augen files are missing, ghc-modi automatically generates them
- dist/setup-config is re-generated if out of date
- ghc-mod-0.cache is re-generated if out of data
- A session is restarted if the timestamp of changes.
- A session is restarted if the timestamp of package.cache changes.