Question

我有一个简单的模板Haskell程序，它打印当前模块的名称（Main，here）：

{-# LANGUAGE TemplateHaskell #-}
module Main
( main
) where

import Language.Haskell.TH
import Language.Haskell.TH.Syntax

modName ∷ String
modName = $(fmap loc_module qLocation »= λmod → return (LitE (StringL mod) ))

main ∷ IO ()
main = putStrLn modName

当我编译它时，我从ghc获得以下加载消息：

tsuraan@localhost ~/test/modname $ ghc --make Main
[1 of 1] Compiling Main             ( Main.hs, Main.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.4.0.0 ... linking ... done.
Loading package deepseq-1.3.0.0 ... linking ... done.
Loading package containers-0.4.2.1 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package template-haskell ... linking ... done.
Linking Main ...

为什么ghc在启用Template Haskell时加载所有这些包？每当我构建一个使用Template Haskell的程序时，特别是针对很多包构建的程序，我的编译警告就会被这些多余的“加载”消息所淹没。如果我可以阻止打印消息，或者完全停止（不必要的？）模块加载，那将是很好的。

Answer 1

模板Haskell通过字节码解释器（GHCi）在编译时运行。在编译时，您拥有的任何软件包依赖项将在编译时动态加载到GHC中，以便您可以执行拼接。

你的一个依赖项是Template Haskell库本身，而后者依赖于大多数核心事物。

Answer 2

您可以通过将-v0标志传递给GHC来阻止打印“加载包”行。（这也会抑制“编译”和“链接”行，但仍会显示警告和错误。）

为什么TemplateHaskell导致GHC加载包？

2 个答案: