ghc --make and make

3 Dec
2005
3 Dec
'05
7:50 p.m.
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⑈
7107
Age (days ago)
7107
Last active (days ago)
0 comments
1 participants
participants (1)
-
John Meacham