GHC: wstaw datę kompilacji

Question

Myślałem, że już będzie pytanie na ten temat, ale nie mogę znaleźć.

Chcę, aby mój program wydrukował datę, w której został skompilowany. Jak najłatwiej to ustawić?

Mogę wymyślić kilka możliwości, ale żadne z nich nie jest tak proste, jak to można nazwać "łatwym". Idealnie chciałbym móc po prostu zrobić ghc --make Foo i mieć Foo wydrukować datę kompilacji za każdym razem, gdy go uruchomię.

Różne non-Easy możliwości, które przychodzi na myśl:

• Learn Template Haskell. Dowiedz się, jak użyć Data.Time, aby pobrać dzisiejszą datę. Znajdź sposób przekształcenia tego w ciąg znaków. (Teraz mój program wymaga TH do działania, muszę też przekonać go, aby za każdym razem przekompilować ten moduł, w przeciwnym razie otrzymam datę kompilacji dla tego modułu [który nigdy się nie zmienia] zamiast całego programu.)

• Napisz skrypt powłoki, który generuje maleńki moduł Haskell zawierający datę systemową. (Teraz muszę użyć tego skryptu powłoki zamiast skompilować mój program bezpośrednio. Również, skrypty powłoki Windows pozostawia znacznie do życzenia!)

• usiąść i napisać trochę kodu Haskell, który generuje mały moduł Haskell zawierającego data. (Bardziej przenośny niż poprzedni pomysł - ale nadal wymaga dodatkowych kroków konstrukcyjnych lub drukowana data będzie niepoprawna).

• Może być jakiś sposób, aby to zrobić przez Cabal - ale czy naprawdę chcę spakować ten mały program po prostu uzyskać termin obiektu?

Czy ktoś ma jakieś prostsze sugestie?

Answer 1

Używanie szablonu Haskella jest stosunkowo proste. Wystarczy:

działanie

1. Run IO wewnątrz szablonu Haskell monady:

   runIO :: IO a -> Exp a 
   

2. Następnie utworzyć ciąg dosłowne z:

   stringE :: String -> ExpQ 
   

3. Put całą wyrażeń w quasiquote.

   $(...) 
   

Ten program wypisze czas jego kompilacji:

{-# LANGUAGE TemplateHaskell #-} 
import Language.Haskell.TH 
import Data.Time 

main = print $(stringE =<< runIO (show `fmap` Data.Time.getCurrentTime)) 

można umieścić odpowiedni fragment w module, który importuje wszystkie inne moduły, aby upewnić się, że jest rekompilacji.

Możesz też pobrać aktualne informacje o wersji ze swojego systemu wersjonowania.Zobacz: TemplateHaskell and IO

Answer 2

Preprocesor usłużnie definiuje __DATE__ i __TIME__ makr (podobnie jak w C), więc to działa:

{-# LANGUAGE CPP #-} 
main = putStrLn (__DATE__ ++ " " ++ __TIME__) 

To chyba prostsze niż sugestią Michała szablonu Haskell, ale nie pozwalają wybierz format daty.