Skip to content

Commit

Permalink
mods of Dirk Ullrich, for time compat, in slightly modified form
Browse files Browse the repository at this point in the history
  • Loading branch information
atzedijkstra committed Nov 29, 2012
1 parent e4b5bc0 commit baac973
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 6 deletions.
8 changes: 4 additions & 4 deletions EHC/preprelease
Expand Up @@ -2,10 +2,10 @@


# the things to be done before releasing, and to be run correctly. # the things to be done before releasing, and to be run correctly.


make clean && # make clean &&
./configure && # ./configure &&
make 100/ehclib && # make 100/ehclib &&
make {1,8,20}/ehc && # make {1,8,50}/ehc &&
make uhc && make uhc &&
make test-expect TEST_VARIANTS=uhc && make test-expect TEST_VARIANTS=uhc &&
make freeze-test-expect make freeze-test-expect
Expand Down
6 changes: 4 additions & 2 deletions EHC/src/ehc/EHC/CompilePhase/Module.chs
Expand Up @@ -12,7 +12,9 @@ Module analysis
%%] %%]
%%[50 import(qualified UHC.Util.Rel as Rel) %%[50 import(qualified UHC.Util.Rel as Rel)
%%] %%]
%%[50 import(UHC.Util.Time, System.Directory) %%[50 import(UHC.Util.Time, UHC.Util.FPath)
%%]
%%[50 import(System.Directory)
%%] %%]


%%[50 import({%{EH}EHC.Common}) %%[50 import({%{EH}EHC.Common})
Expand Down Expand Up @@ -156,7 +158,7 @@ cpGetMetaInfo gm modNm
(do { lift $ putStrLn ("meta info of: " ++ show (ecuModNm ecu) ++ ", file: " ++ n ++ ", exists: " ++ show nExists) (do { lift $ putStrLn ("meta info of: " ++ show (ecuModNm ecu) ++ ", file: " ++ n ++ ", exists: " ++ show nExists)
}) })
; when nExists ; when nExists
(do { t <- lift $ getModificationTime n (do { t <- lift $ fpathGetModificationTime fp
; when (ehcOptVerbosity opts >= VerboseDebug) ; when (ehcOptVerbosity opts >= VerboseDebug)
(do { lift $ putStrLn ("time stamp of: " ++ show (ecuModNm ecu) ++ ", time: " ++ show t) (do { lift $ putStrLn ("time stamp of: " ++ show (ecuModNm ecu) ++ ", time: " ++ show t)
}) })
Expand Down

0 comments on commit baac973

Please sign in to comment.