GHC: derleme tarihini ekle

Question

Bunun hakkında zaten bir soru olacağını düşündüm, ama bulamıyorum.

Programımın derlendiği tarihi yazdırmasını istiyorum. Bunu ayarlamanın en kolay yolu nedir?

Birkaç olasılık düşünebilirim, ancak bunların hiçbiri "kolay" diyeceğiniz şey değil. İdeal olarak, her çalıştırdığımda ghc --make Foo yapabilmek ve Foo derleme çıktısını almak istiyorum. akla

Çeşitli olmayan kolay olasılıklar:

• Şablon Haskell öğrenin. Bugünün tarihini almak için Data.Time'u nasıl kullanacağınızı öğrenin. Bunu bir dizeye dönüştürmenin yolunu bulun. (Şimdi programım çalışmak için TH gerektirir. Ayrıca, her zaman bu modülü yeniden derlemek için ikna etmem gerekiyor, aksi takdirde tüm modül yerine [asla değişmez] bu modül için derleme tarihini aldım.)

• Sistem tarihini içeren küçük bir Haskell modülü oluşturan bir kabuk komut dosyası yazın. (Şimdi! Ayrıca Windows üzerinde kabuk komut dosyası çok istenen bırakır. O shell script kullanmak yerine doğrudan programımı derlemek zorunda)

• Sit aşağı ve dolu küçücük Haskell modülünü oluşturur bazı Haskell kod yazmak tarih. (Önceki fikirden daha taşınabilir - ancak yine de fazladan oluşturma adımları gerektirir veya yazdırılan tarih yanlış olur.)

• Cabal üzerinden bunu yapmanın bir yolu olabilir - ancak bu küçük programı gerçekten paketlemek istiyorum bir tarih tesisi almak için?

herkes herhangi basit bir öneriniz var mı?

Answer 1

Şablon Haskell'in kullanılması bunun için oldukça basittir. Sadece gerekir:

Şablon Haskell monad içinde

1. çalıştırın IO eylemi:

   stringE :: String -> ExpQ 
   

2. bir dahilinde bir bütün ifadeyi koyun:

   runIO :: IO a -> Exp a 
   

3. Sonra ile değişmez bir dize oluşturmak quasiquote. Bunu derlenmiş çekirdekler emin olmak için tüm diğer modülleri ithal eden bir modüle ilgili parçasını koyabilir

   {-# LANGUAGE TemplateHaskell #-} 
   import Language.Haskell.TH 
   import Data.Time 
   
   main = print $(stringE =<< runIO (show `fmap` Data.Time.getCurrentTime)) 
   

   :

   $(...) 
   

Bu program kendi derleme zamanı yazdırır. Veya sürüm revizyon bilgilerinizi sürüm sisteminizden alınız.TemplateHaskell and IO

Answer 2

önişlemci yardımsever (sadece C gibi) __DATE__ ve __TIME__ makro tanımlar, bu nedenle bu işleri: Bkz

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

Bu Şablon Haskell Michal'ın öneri daha muhtemelen daha basittir, ancak size izin vermez Tarihin formatını seçin. # DİL CPP - `` için ghc -DNOW = "\" `date` \ ""` `(yani Windows kabuk için nasıl görüneceğini hiçbir fikri), ve modül kullanımda` {eşdeğer bir şeye