Frege中的显式模块导出

Question

我在阅读了Frege语言规范并使用搜索引擎寻找示例后发布了这篇文章。我希望我没有忽略一个显而易见的答案。

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

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

但是这将在Frege中给出一个编译器错误，我必须删除导出列表：

module common.Timer
where
...

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

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

Answer 1

你的代码看起来没问题。在深入了解可能出现的错误之前，这里有一个快速的解决方法，您可以继续工作:默认情况下，所有顶级符号都会导出，除非标记为private。

编辑后讨论:这是当前偏离Haskell标准，我们即将解决。