ghcide/cbits
Moritz Kiefer 01d84a6057 Speed up file modification checks (#2317)
Speed up file modification checks

Summary: `getModificationTime` from the `directory` package is really
slow. The `unix` package is faster but still slow. This PR brings the
time spent checking file modifications (which is required on every
change) from ~0.5s to ~0.15s.
2019-09-10 14:52:17 +02:00
..
getmodtime.c Speed up file modification checks (#2317) 2019-09-10 14:52:17 +02:00