在Opa计划中，“顶级”究竟是什么意思？

Question

我正在浏览the OpaDo program的来源，并注意到在the module Todo中调用了一个名为mypage的函数。此函数声明为in the file 'ui'，但文件todo.opa中没有任何地方导入ui.opa文件。

这是'顶级'的意思吗？是否可以自由访问模块外部声明的所有函数？ types或records怎么样？

编译器是否识别出这种依赖关系，并在被要求编译ui.opa时自动编译todo.opa？

Answer 1

默认情况下，所有opa源文件都属于同一个默认包。

因此，当您编译todo.opa和ui.opa时，所有函数，类型和记录都可用于同一包中的其他文件。

“top-level”表示源文件的第一级声明，而不是函数内部的声明。

当您使用多个软件包时，编译器应该只编译必要的文件。