This isn't just for performance; I've seen Idris say the file needs reloading when getting a type, which I believe is because the file is written out twice during that command, which resets the mtime (which is how Idris figures out if the file needs reloading).
This is intended to be on top of #37, the relevant commit is just 051cb5a3b3c035966daff8945b38d5d1e0b3422d.
raichoo
commented
9 years ago
This isn't just for performance; I've seen Idris say the file needs reloading when getting a type, which I believe is because the file is written out twice during that command, which resets the mtime (which is how Idris figures out if the file needs reloading).
This is intended to be on top of #37, the relevant commit is just 051cb5a3b3c035966daff8945b38d5d1e0b3422d.