Frege中的显式模块导出

Question

我在阅读了Frege语言规范并使用搜索引擎查找示例后发布了这个。 我希望我没有忽视一个明显的答案。

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

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

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

module common.Timer
where
...

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

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

Answer 1

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

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