opa - Opaプログラムの「トップレベル」とは正確にはどういう意味ですか？

Question

OpaDoプログラムのソースを参照していて、モジュールTodoで呼び出された関数が呼び出されていることに気付きましたmypage。この関数はファイル'ui'で宣言されていますが、ファイルのどこにもファイルはインポートされtodo.opaません。ui.opa

これは「トップレベル」の意味ですか？モジュールの外部で宣言されたすべての関数は自由にアクセスできますか？どうtypesですかrecords？

コンパイラはこの依存関係を認識し、コンパイルui.opaを求められたときに自動的にコンパイルされますtodo.opaか？

Answer 1

デフォルトでは、すべてのopaソースファイルは同じデフォルトパッケージに属しています。

そのため、todo.opaとui.opaをコンパイルすると、すべての関数、タイプ、およびレコードが同じパッケージ内の他のファイルで使用できるようになります。

「トップレベル」とは、関数内ではなく、ソースファイルの最初のレベルでの宣言を意味します。

複数のパッケージを使用する場合、コンパイラは必要なファイルだけをコンパイルする必要があります。