NEPLg2.1 モジュールシステム仕様

構文一覧

use modulepath::subpath                      // モジュールをインポート。alias = 最終セグメント名
use modulepath::subpath as aliasname         // モジュールを alias 付きでインポート
use modulepath::subpath as *                 // モジュールの公開 item を全て現スコープに導入
use modulepath::subpath::name                // 特定の item をインポート。alias = name
use modulepath::subpath::name as aliasname   // 特定の item を alias 付きでインポート

例

use std::streamio                   // `streamio` として参照できる
use std::streamio as io             // `io` として参照できる
use std::streamio as *              // streamio の公開 item を全て現スコープに導入
use core::math::gcd                 // `gcd` として参照できる
use core::math::gcd as greatest_cd  // `greatest_cd` として参照できる

解決規則

• use はモジュールパスを純粋にパスベースで解決する（overload なし）。
• 一致が 1 件 → OK
• 一致が 0 件 → unresolved error
• 一致が 2 件以上 → ambiguous module error（コンパイルエラー）
• anchor でない #part ファイルのパスを use した場合 → コンパイルエラー（#part は直接 use 不可。anchor のパスを使うこと）

4.1 #if による part / item の条件付き有効化

merge 先のファイルやトップレベル item では、前置ディレクティブ #if <cond_expr>: を使って target / profile ごとの条件分岐を行える。

#if target "wasi":
    merge "./streamio_wasi"

#if target "llvm":
    merge "./streamio_llvm"

<cond_expr> は compile-time に評価される条件式であり、現在のコア仕様では target / profile 述語を主に使う。#if[target=...] のような角括弧記法は 2.0 系の表記であり、2.1 の正仕様には含めない。

// editor.nepl  (#module)
#module
#indent 4

merge "./editor_ops"
merge "./editor_util"

pub let run \input:
    ...

// editor_ops.nepl  (#part)
#part
#indent 4

let helper \ctx:
    ...

Anchor の決定規則

pub use による再エクスポート

pub use path はインポートした item を自モジュールから公開する。

// mymod/mod.nepl
use core::math::gcd
pub use core::math::gcd    // gcd を mymod::gcd として再公開

// 利用側
use mymod::gcd             // core::math::gcd が mymod::gcd として解決される

pub use の循環検出

pub use の再エクスポートチェーンに循環がある場合はコンパイルエラー。

// a.nepl
pub use b::foo    // b::foo を a::foo として再公開

// b.nepl
pub use a::foo    // a::foo を b::foo として再公開 → 循環！
// ERROR: circular pub use: a::foo → b::foo → a::foo

コンパイラは pub use チェーンをグラフとして構築し、DFS でサイクルを検出する。検出後は最初の循環エッジを起点として診断を発行し、以降の解決は失敗として扱う。