Bagaimana untuk benar berkomunikasi compile-time informasi untuk Template Haskell fungsi?

Saya perlu untuk mengkomunikasikan suatu informasi dari mengkompilasi script ke Template Haskell. Saat ini mengkompilasi script menjaga informasi dalam sistem lingkungan, sehingga aku hanya membacanya menggunakan Sistem.Lingkungan.getEnvironment dibungkus runIO. Apakah ada cara yang lebih baik, seperti melewati beberapa argumen untuk ghc (mirip dengan -D... untuk C pre-processor), atau mungkin sesuatu yang khusus dirancang untuk tujuan ini di TH?

Pemrograman
haskell compile-time template-haskell
30 Oktober 2013 в 9:55
14 tayangan
Mengomentari pertanyaan (6)

Karena begitu banyak orang yang tertarik pada pertanyaan, saya'll menambahkan pendekatan saat ini, mungkin seseorang akan menemukan itu berguna. Mungkin cara terbaik adalah jika TH diizinkan untuk membaca -D parameter pada GHC's command line, tapi tampaknya tidak ada yang seperti ini dilaksanakan saat ini.

Modul sederhana ini memungkinkan TH untuk membaca waktu kompilasi lingkungan. Fungsi pembantu juga memungkinkan untuk membaca file; misalnya membaca path dari file konfigurasi dari lingkungan dan kemudian baca file.


{-# LANGUAGE TemplateHaskell #-}
module THEnv
    (
    -- * Compile-time configuration
      lookupCompileEnv
    , lookupCompileEnvExp
    , getCompileEnv
    , getCompileEnvExp
    , fileAsString
    ) where

import Control.Monad
import qualified Data.Text as T
import qualified Data.Text.IO as T
import Language.Haskell.TH
import Language.Haskell.TH.Syntax (Lift(..))
import System.Environment (getEnvironment)

-- Functions that work with compile-time configuration

-- | Looks up a compile-time environment variable.
lookupCompileEnv :: String -> Q (Maybe String)
lookupCompileEnv key = lookup key `liftM` runIO getEnvironment

-- | Looks up a compile-time environment variable. The result is a TH
-- expression of type @Maybe String@.
lookupCompileEnvExp :: String -> Q Exp
lookupCompileEnvExp = (`sigE` [t| Maybe String |]) . lift  Q Exp
getCompileEnvExp = lift  Q Exp
fileAsString = do
  -- addDependentFile path -- works only with template-haskell >= 2.7
  stringE . T.unpack . T.strip
Komentar (0)

Sepertinya apa yang anda coba lakukan di sini, option-D di ghc tampaknya untuk menentukan waktu kompilasi variabel.

Di sini, pada subjek yang sama adalah pertanyaan yang tampaknya juga menjawab bagian lain dari pertanyaan anda. Dari apa yang saya tahu, untuk melakukan kompilasi bersyarat, anda melakukan sesuatu seperti:

    #ifdef MACRO_NAME
    //Do stuff here
    #endif
Community
Jawaban edit 23 Mei 2017 в 12:09
Komentar (2)