haskell - GHC 会剔除未使用的导入吗？

Question

当我不使用 main 函数中的某些导入(应该很容易检测到)时，GHC 会删除相应的绑定(bind)吗？

示例:

import Text.Parsec (parse)
import My.Testframework (test)

main = parse …

tests = test …

My.Testframework 会链接到可执行文件中吗？

Answer 1

我做了这个简单的测试:

import Data.Map as M
import Data.Text as T

main = do
  let m = M.fromList [(1, 2), (3, 4)]
  putStrLn $ show m

得到:

$ ghc imports.hs
$ $ ls -l imports
-rwxr-xr-x+ 1 erik  staff  1583112 May 17 10:56 imports

<小时/>

然后我注释掉了未使用的 Data.Text 导入:

import Data.Map as M
-- import Data.Text as T

main = do
  let m = M.fromList [(1, 2), (3, 4)]
  putStrLn $ show m

得到了这个:

$ ghc imports.hs 
$ ls -l imports
-rwxr-xr-x+ 1 erik  staff  1583112 May 17 10:56 imports

没有任何改变，所以我必须假设 Data.Text 已经被忽略，因为它没有被使用。

<小时/>

然后我尝试了另外 2 个变体。

保留 Data.Map 导入和 fromList 调用，但不使用 m 中的值:

import Data.Map as M
-- import Data.Text as T

main = do
  let m = M.fromList [(1, 2), (3, 4)]
  putStrLn "hello"

这让我:

$ ghc imports.hs 
$ ls -l imports
-rwxr-xr-x+ 1 erik  staff  1505292 May 17 10:56 imports

<小时/>

然后我还使用 fromList 删除了 m 的构造:

import Data.Map as M
-- import Data.Text as T

main = do
  putStrLn "hello"

这让我:

$ ghc imports.hs 
$ ls -l imports
-rwxr-xr-x+ 1 erik  staff  1505284 May 17 10:56 imports

——大小几乎没有变化。

所以我的解释是，即使您导入一个库并表面上使用它，但使用本身未被使用，GHC 也不会链接未使用导入的库。