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

minisat包含从c库导入的几个ffi.我已经使用emscripten将c库编译为javascript,并导出minisat所需的函数.到现在为止还挺好.

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

foreign import ccall safe minisat_solve :: Solver – > Int – > Ptr(Lit) – > IO(布尔)

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

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',...,...)

但我被类型不匹配所困扰.

所以,这里面临的挑战是：解释如何使用上面的包装器代码作为示例正确包装由ghcjs进行ccall导入的emscripten导出(或者反问题,如果我完全错误的话)

解决方法:

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