Having to save sources before invoking external tools is slow and causes problems (like the linked ticket above). It looks like for existing external tools this can be alleviated. For hlint, we can supply the source via stdin, and for ghc-modi we can use the map-file command.
Related to #406
Having to save sources before invoking external tools is slow and causes problems (like the linked ticket above). It looks like for existing external tools this can be alleviated. For hlint, we can supply the source via stdin, and for ghc-modi we can use the
map-file
command.