Frege中的显式模块导出

Question

我在阅读Frege language specification并使用搜索引擎查找示例后发布此内容。我希望我没有忽视一个明显的答案。

我正在尝试将一些Haskell代码移植到Frege，我找不到任何提及显式模块导出的文档。所以，在我的Haskell代码中，我有类似

的东西

module common.Timer(start, ...)
where
...

但这会在Frege中产生编译错误，我必须删除导出列表：

module common.Timer
where
...

但是通过这种方式，我无法控制模块中定义的哪些符号被导出。

是否可以在Frege中定义显式模块导出？如果是这样，语法是什么？

Answer 1

您的代码看起来不错。在深入探讨可能出现的问题之前，我们可以快速解决此问题，以便您可以继续工作：除非标记为private，否则默认情况下会导出所有顶级符号。

讨论后编辑：这是我们即将解决的Haskell标准的当前偏差。