I was playing around with timing how long ghcid takes given certain runtime flags and had to do:
date && ghcid
Then copy the start time, copy the time that ghcid loaded, and subtract the difference.
It would be nice if ghcid already did this for us because we could pay attention to things like how ghc versions affect ghc reload time and get a better feel on how new modules/packages affect ghcid responsiveness.
ndmitchell
commented
5 years ago
I was playing around with timing how long ghcid takes given certain runtime flags and had to do:
Then copy the start time, copy the time that ghcid loaded, and subtract the difference.
It would be nice if ghcid already did this for us because we could pay attention to things like how ghc versions affect ghc reload time and get a better feel on how new modules/packages affect ghcid responsiveness.