尝试将Haskell函数导出到C时，元组“无法在外来呼叫中编组”

Question

我试图Foreign.C.Types在Haskell中使用C调用Haskell，但它在编译器中始终显示此错误：

  * Unacceptable argument type in foreign declaration:
        `(CInt, CInt)' cannot be marshalled in a foreign call
    * When checking declaration:
        foreign export ccall "func_hs" func_hs :: (CInt, CInt) -> CInt
   |
15 | foreign export ccall func_hs :: (CInt, CInt) -> CInt
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

GHCi版本8.6.3编译的确切代码：

{-# LANGUAGE ForeignFunctionInterface #-}

module Func where

import Foreign.C.Types

verify_hp :: (CInt, CInt) -> CInt

verify_hp (hp, maxHp) = if hp < maxHp then hp + 10 else maxHp

func_hs :: (CInt, CInt) -> CInt

func_hs (hp, maxHp) = if verify_hp(hp,maxHp) == hp + 10 && hp < maxHp then hp + 10 else maxHp


foreign export ccall func_hs :: (CInt, CInt) -> CInt

为什么会发生这种情况，我该如何解决？

Answer 1

您不应该取消导出函数的参数。使用它来代替您func_hs，它将正常工作：

func_hs :: CInt -> CInt -> CInt

func_hs hp maxHp = if verify_hp(hp,maxHp) == hp + 10 && hp < maxHp then hp + 10 else maxHp


foreign export ccall func_hs :: CInt -> CInt -> CInt

在工作版本中，的C签名func_hs如下所示：

int func_hs(int hp, int maxHp);

在您的原始非工作版本中，它必须看起来像这样：

int func_hs(tuple<int, int> hp_and_maxHp); // not valid C!