Я публикую это после прочтения спецификации языка Frege и поиска примеров с использованием поисковых систем. . Надеюсь, я не пропустил очевидный ответ.
Я пытаюсь перенести некоторый код Haskell на Frege и не могу найти документацию, в которой упоминается явный экспорт модулей. Итак, в моем коде Haskell у меня есть что-то вроде
module common.Timer(start, ...)
where
...
но это выдаст ошибку компилятора во Фреге, и я должен убрать список экспорта:
module common.Timer
where
...
Но таким образом я не могу контролировать, какие символы, определенные в модуле, экспортируются.
Можно ли определить явный экспорт модулей в Frege? Если да, то каков синтаксис?