Frege中的顯式模塊導出

Question

我在閱讀了Frege語言規范並使用搜索引擎查找示例后發布了這個。 我希望我沒有忽視一個明顯的答案。

我試圖將一些Haskell代碼移植到Frege，我找不到任何提及顯式模塊導出的文檔。 所以，在我的Haskell代碼中，我有類似的東西

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

但這會在Frege中產生編譯錯誤，我必須刪除導出列表：

module common.Timer
where
...

但是通過這種方式，我無法控制模塊中定義的哪些符號被導出。

是否可以在Frege中定義顯式模塊導出？ 如果是這樣，語法是什么？

Answer 1

你的代碼看起來不錯。 在我深入研究可能出現的問題之前，這里有一個快速的解決方法，您可以繼續工作：除非將其標記為private否則默認情況下會導出所有頂級符號。

討論后編輯：這是我們即將解決的Haskell標准的當前偏差。