ccall导入GHCJS中的emscripten导出

Question

我正在尝试使用ghcjs将haskell库minisat移植到JavaScript，以便集成到更大的haskell-ghcjs项目中。

minisat包含一些来自c库的ffi导入。我已经使用emscripten将c库编译为javascript，并导出minisat所需的函数。到目前为止，非常好。

但是，有几个导入看起来像这样：

foreign import ccall safe minisat_solve :: Solver -> Int -> Ptr (Lit) -> IO (Bool)

导入一个如下所示的函数：

int minisat_solve(minisat_solver *s, int len, minisat_Lit *ps)

我从the documentation的理解是，当emscripten导出一个获取或返回指针的函数时，指针变为JavaScript数字类型。

ghcjs documentation表明应该可以通过适当地包装JavaScript函数来保留现有的外部导入。但是，ghcjs将指针类型表示为一对由JavaScript对象和数字组成的对。

我认为包装器代码应该大致是

function h$minisat_solve(...){
   ...
   minisat_solve(...)
   ...
}

function minisat_solve = Module.cwrap('minisat_solve',...,...)

但我对类型不匹配感到困惑。

所以，这是挑战：解释如何使用上面的包装代码作为示例正确包装ccall ghcjs导入的emscripten导出（或者反例，如果我已经得到它）完全错了）

Answer 1

指针类型可以转换为整数：https://hackage.haskell.org/package/base-4.10.0.0/docs/Foreign-Ptr.html#t:IntPtr。因此，您应该能够使用这些函数转换为emscripten所需的任何格式。