ghc --make and make

[John Meacham]

I was thinking it would be nice if ghc --make could touch the output
file with the timestamp of the most recently modified source file.

As it is, if you edit a file in between when ghc --make starts and it
finishes (a substantial amount of time in some cases) then 'make' will
not realize the dependencies have changed.

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈