GHC会剥离未使用的进口产品吗？

Question

当我不使用main函数中的某些导入（应该很容易检测到）时，GHC会剥离相应的绑定吗？

示例：

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已被忽略，因为它未被使用。

然后我尝试了另外两种变体。

退出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

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

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也不会链接其导入未使用的库。