Question

在GHCJS下，getCurrentTime如何运作？在time库中，这是implemented using the FFI，调用操作系统提供的函数。但是，time中没有任何行以：

开头

foreign import javascript ...

我已经检查了GHCJS用来修补库的shims存储库。它patches the timezone getting function但没有提到getCurrentTime。我发现远程关闭的唯一内容是ghcjs-boot，其中old-time修补了：

#ifdef ghcjs_HOST_OS
type CTimeVal = ()
type CTimeZone = ()
...
foreign import ccall unsafe "HsTime.h __hscore_gettimeofday"
    gettimeofday :: Ptr CTimeVal -> Ptr CTimeZone -> IO CInt
...

但这有两个问题。一个是它不是正确的库（old-time而不是time）。另一个是它仍在使用C FFI。我不明白在使用GHCJS进行编译时如何使用C FFI。

那么，getCurrentTime在哪里为GHCJS填充？

在回复关于grepping ghcjs源的评论时，如果我在GHCJS的源代码中搜索getTime（我相信这将是使用的javascript函数），我基本上什么都没有。但是，通过使用GHCJS为使用all.js的项目生成的getCurrentTime文件，我得到了这个：

ag '\bgetTime\b' all.js
20948:  h$log((("elapsed time: " + (h$RTS_597.getTime() - h$RTS_595.getTime())) + "ms"));
22863:                var atime = goog.math.Long.fromNumber(fs.atime.getTime());
22864:                var mtime = goog.math.Long.fromNumber(fs.mtime.getTime());
22865:                var ctime = goog.math.Long.fromNumber(fs.ctime.getTime());

后三者来自某种文件系统垫片。

我在生成的javascript中找到了这个：

function h$gettimeofday(tv_v,tv_o,tz_v,tz_o) {
  var now = Date.now();
  tv_v.dv.setInt32(tv_o, (now / 1000)|0, true);
  tv_v.dv.setInt32(tv_o + 4, ((now % 1000) * 1000)|0, true);
  if(tv_v.len >= tv_o + 12) {
    tv_v.dv.setInt32(tv_o + 8, ((now % 1000) * 1000)|0, true);
  }
  return 0;
}

但是如何将其联系起来的问题仍然存在。

getCurrentTime如何在GHCJS下工作？

0 个答案: