帮助 Haskell 动态插件加载

Question

我是 Haskell 初学者，我正在尝试使用“插件”包中的动态加载。我有点迷失了。这是一个包含两个文件的最小程序。

Main.hs：

module Main (main) where

import System.Plugins

main :: IO ()
main = do
  putStrLn "Loading"
  mv <- dynload "Plug.o" [] [] "thing"   -- also try 'load' here
  putStrLn "Loaded"
  case mv of
    LoadFailure msgs -> putStrLn "fail" >> print msgs
    LoadSuccess _ v -> putStrLn "success" >> print (v::Integer)

和 Plug.hs：

module Plug (thing) where

thing :: Integer
thing = 1234000

我使用 ghc -c Plug.hs 编译 Plug，生成 Plug.o。然后，我使用 ghc -o Main Main.hs 编译 Main.hs，并运行 Main。我还尝试将 load 替换为 dynload，并使用 runhaskell 运行。这四种组合中只有一种有效。我做错了什么？

• 使用动态加载
  • 已编译 → 打印“已加载”，然后出现段错误
  • runhaskell → 打印“Loading”，然后打印“Main.hs: Prelude.undefined”
• runhaskell → 打印“Loading”，然后使用 load 打印
  • 编译→成功，打印整数
  • runhaskell → 打印“Loading”，挂起 5-10 秒，消失

我使用的是 Mac OS X.GHC 版本 7.0.2。我做错了什么？

谢谢，
Rob

更新

我可以通过将 Plug.hs 更改为以下内容来修复已编译的 dynload...

module Plug (thing) where
import Data.Dynamic                                                                                                    
thing :: Dynamic
thing = toDyn (1234000::Integer)

如果错误时没有出现 seg 错误，那就太好了。我猜想 Plug.o 中没有足够的元数据来检查类型。无论如何，剩下了 runhaskell 案例。我为此提交了一个 bug。

Answer 1

我已经在 Ubuntu 10.10 和 GHC 6.12.1 下尝试了您的示例，结果是：dynload 和 load 都运行编译或通过 runhaskell > 给我“Prelude.undefined”错误，所以我认为你应该向开发人员报告错误。

我在其模块的 haddock 文档，所以我不认为你做错了什么。

Answer 2

您可能想在 haskell ghc 动态编译仅适用于第一次编译。