モジュール、アイテム、名前 (E1xxx)

これらのエラーは、モジュールツリーの構築、アイテム宣言の処理、名前・インポート・ラベル・パスの解決で報告されます。型検査より前に報告され、ここで名前が解決できないと後続の型エラーは抑制されることがよくあります。

E1001 bad-root

エラー。 プログラムのルートファイルの拡張子が .kis でも .kix でもありません。kagari check と kagari build はルートファイルを kagari.toml の project.entry から読み、そこで他の拡張子はすでに拒否されるため、CLI でビルドするプロジェクトでは通常このコードは出ません。

[project]
entry = "src/main.txt"

修正方法: project.entry を .kis または .kix のルートファイル（例: src/main.kix）に向けます。

E1002 file-not-found

エラー。 mod name; 宣言に対応するファイルがありません。コンパイラは name.kis、name.kix、name/mod.kis、name/mod.kix を探します。

mod missing;

修正方法: 想定されるファイルのいずれか（例: missing.kis）を作成するか、宣言を削除します。

E1003 ambiguous-file

エラー。 mod name; 宣言が複数のファイルに一致します。たとえば twice.kis と twice.kix が両方存在する場合です。

mod twice; // both `twice.kis` and `twice.kix` exist next to this file

修正方法: 候補のファイルを 1 つだけ残し、他は削除または改名します。

E1004 file-reused

エラー。 すでにあるモジュールとして読み込まれたファイルが、別のモジュールとして再び宣言されています。たとえばルートファイル main.kis が mod main; で自分自身を宣言する場合です。

mod main;

修正方法: 各ファイルはモジュールとしてちょうど 1 回だけ宣言し、他の場所からは use で参照します。

E1005 file-module-in-block

エラー。 ファイルモジュール（本体のない mod name;）が関数やブロックの本体の中で宣言されています。ファイルモジュールはモジュールの最上位でのみ宣言できます。

fn run() {
    mod helpers;
}

修正方法: mod helpers; をファイルの最上位に移します。

E1006 unknown-attribute

エラー。 コンパイラが知らない属性です。

#[foo]
fn attribute() {}

修正方法: 属性を削除するか、#[scene] のような既知の属性を使います。

E1007 attribute-arguments

エラー。 既知の属性に引数が書かれていますが、Kagari の属性は引数を取りません。

#[scene(main)]
pushdown fn Scene() {}

修正方法: 引数を外します: #[scene]。

E1008 builtin-outside-std

エラー。 標準ライブラリの外で #[builtin] が使われています。コンパイラが提供するアイテムを宣言できるのは std だけです。

#[builtin]
fn x();

修正方法: #[builtin] を外し、関数に本体を与えます: fn x() {}。

E1009 builtin-with-body

エラー。 #[builtin] 関数に本体があるか、#[builtin] 構造体がフィールドを宣言しています。ビルトインアイテムはコンパイラが実装するため、本体を持てません。標準ライブラリの外では E1008 も報告されます。

#[builtin]
fn len(n: u64) -> u64 {
    0
}

修正方法: 本体を削除します: fn len(n: u64) -> u64;。

E1010 missing-body

エラー。 #[builtin] でない関数が本体なしで宣言されています。

fn y();

修正方法: 本体を追加します: fn y() {}。

E1011 missing-value

エラー。 const に値がないか、type エイリアスに型がありません。

const LIMIT: u64;

修正方法: 値を与えます: const LIMIT: u64 = 10;。

E1012 trait-outside-std

エラー。 標準ライブラリの外でトレイトが宣言されています。ユーザーコードはトレイトを宣言できません。

trait Shape {
    fn sides(&self) -> u64;
}

修正方法: トレイトを削除し、代わりに各型の固有 impl メソッドを使います。

E1013 trait-not-builtin

エラー。 標準ライブラリで宣言されたトレイトに #[builtin] がありません。標準ライブラリのトレイトはすべてコンパイラ提供でなければなりません。

// in the standard library's `std/mod.kis`
pub trait Eq {}

この例は説明用です。標準ライブラリはコンパイラに同梱されており、ユーザーコードではどのトレイトも E1012 になるため、このコードに到達するのは標準ライブラリを改変した場合だけです。

修正方法: ビルトインにします: #[builtin] pub trait Eq {}。

E1014 duplicate-definition

エラー。 1 つのモジュールの同じ名前空間で同じ名前が複数回定義されています。注記（note）が最初の定義を指します。

fn a() {}
fn a() {}

修正方法: どちらかの定義を改名または削除します。

E1015 unresolved-import

エラー。 use のパスがどのアイテムにも到達しません。

use nowhere::x;

修正方法: パスを既存のモジュールとアイテムに直すか、インポートを削除します。

E1016 unresolved-name

エラー。 値、型、パスのセグメント、または関連アイテムがスコープ内に見つかりません。

fn unresolved() {
    let _ = nothing;
    let _value: Nothing = 1;
}

修正方法: 綴りを直すか、use でアイテムをインポートするか、定義します。

E1017 private-item

エラー。 パスが指すアイテム（または関連アイテム）は存在しますが、pub ではなく、使用箇所から見えません。

mod shapes {
    pub struct Dot {}

    impl Dot {
        const SECRET: u64 = 1;
    }
}

fn assoc_uses() -> u64 {
    shapes::Dot::SECRET
}

修正方法: アイテムを pub にする（pub const SECRET: u64 = 1;）か、外部から使うのをやめます。

E1018 ambiguous-name

エラー。 ある名前が複数のグロブインポートでスコープに入り、それぞれ別のアイテムを指しています。注記が各インポートを指します。

mod a {
    pub const X: u64 = 1;
}
mod b {
    pub const X: u64 = 2;
}
use a::*;
use b::*;

fn uses() -> u64 {
    X
}

修正方法: 意図したアイテムを明示的にインポートする（例: use a::X;）か、パスを修飾します: a::X。

E1019 undeclared-label

エラー。 break または continue が、どの外側のループにも宣言されていないラベルを参照しています。

fn labels() {
    loop {
        break 'nope;
    }
}

修正方法: ループにラベルを付ける（'nope: loop { ... }）か、ラベルを外します: break;。

E1020 outside-loop

エラー。 break または continue がループの外にあります。

fn labels() {
    break;
    continue;
}

修正方法: 文を loop、while、for の中に移すか、return を使います。

E1021 self-outside-impl

エラー。 Self 型が impl やトレイトの外で使われています。

fn self_outside() -> Self {}

修正方法: Self の代わりに具体的な型を書くか、関数を impl の中に移します。

E1022 bad-impl-target

エラー。 固有 impl が、拡張できない型を対象にしています。たとえば標準ライブラリ外でのプリミティブ型です。

impl bool {}

修正方法: プリミティブを独自の構造体で包み、その構造体にメソッドを実装します。

E1023 trait-impl-outside-std

エラー。 ユーザーコードがトレイトを実装しています。トレイトを実装できるのは標準ライブラリだけです。Eq については、すべてのフィールドが Eq である構造体と列挙型にコンパイラが自動で導出します。

struct Square {
    side: u64,
}

impl Eq for Square {}

修正方法: トレイトの impl を削除し、メソッドには固有の impl Square { ... } を使います。

E1024 duplicate-binding

エラー。 1 つのパターンの中で同じ識別子が複数回束縛されています。

fn patterns(p: (u64, u64)) {
    let (x, x) = p;
}

修正方法: 束縛ごとに別の名前を付けます: let (x, y) = p;。

E1025 inconsistent-binding

エラー。 or パターンで、ある変数が一部の選択肢でだけ束縛され、全部では束縛されていません。

fn patterns(o: Option<u64>) {
    match o {
        Some(a) | None => {}
    }
}

修正方法: 選択肢を別々のアームに分けるか、すべての選択肢でその変数を束縛します。

E1026 missing-std-item

エラー。 コンパイラが依存するアイテム（std:: 以下の言語型や関数など）が、コンパイル中の標準ライブラリにありません。これはユーザーの誤りではなく、標準ライブラリが壊れているか合っていないことを示します。

// in the standard library's `std/mod.kis`, with this line deleted:
// #[builtin] pub struct ImageAsset;
#[builtin] pub struct AudioAsset;

この例は説明用です。標準ライブラリはコンパイラに同梱されているため、このコードに到達するのは標準ライブラリを改変した場合だけです。

修正方法: 欠けている std:: アイテムを戻すか、コンパイラに同梱の標準ライブラリを使います。

E1027 asset-not-found

エラー。 asset("...") 呼び出しが、プロジェクトのアセットに存在しないファイルを指しています。

const MISSING: ImageAsset = asset("missing.png");

修正方法: ファイルを追加するかパスを直します。例: asset("cg_001.png")。

E1028 empty-asset-path

エラー。 asset("...") または system_font("...") 呼び出しに空のパスが渡されています。

const EMPTY: ImageAsset = asset("");

修正方法: 空でないアセットパスを渡します。例: asset("cg_001.png")。

E1029 asset-outside-asset-dir

エラー。 asset("...") のパスがアセットディレクトリ（kagari.toml の [assets] dir。既定ではマニフェストと同じ場所の assets）の外に出ているか、system_font("...") のパスが絶対パスであるか、結合先のシステムフォントディレクトリの外に出ています。アセットパスが検査されるのはプロジェクトの中だけです。kagari check と kagari build には kagari.toml が必要で、言語サーバーはどのプロジェクトにも属さないファイルについては構文エラーだけを報告します。

const OUTSIDE: ImageAsset = asset("../secret.png");

修正方法: ファイルをアセットディレクトリに移し、そのディレクトリからの相対パスで指定します。例: asset("bgimage/room.png")。 システムフォントの場合は、システムフォントディレクトリからの相対パスで指定します。例: system_font("C:/Windows/Fonts/msgothic.ttc") ではなく system_font("msgothic.ttc")。

E1030 system-font-not-found

エラー。 system_font("...") 呼び出しが、どのシステムフォントディレクトリにもないファイルを指しています。メッセージには探したディレクトリが順に表示されます。Windows では %LOCALAPPDATA%\Microsoft\Windows\Fonts と %WINDIR%\Fonts、macOS では ~/Library/Fonts、/Library/Fonts、/System/Library/Fonts、それ以外では $XDG_DATA_HOME/fonts（既定は ~/.local/share/fonts）、~/.fonts、および $XDG_DATA_DIRS（既定は /usr/local/share:/usr/share）の各要素の下の fonts です。存在しないディレクトリは飛ばされます。

const MINCHO: FontAsset = system_font("missing-mincho.ttc");

修正方法: フォントをインストールするか、フォントディレクトリからの相対パスに直す（例: /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf なら system_font("truetype/dejavu/DejaVuSans.ttf")）か、ファイルをアセットディレクトリにコピーして asset("…") を使います。

E1031 system-fonts-disabled

エラー。 kagari.toml の [assets] で system-fonts = false としたプロジェクトで system_font("...") が呼ばれています。

[assets]
system-fonts = false

const GOTHIC: FontAsset = system_font("msgothic.ttc");

修正方法: フォントをアセットディレクトリにコピーして asset("fonts/msgothic.ttc") を使うか、設定を削除してシステムフォントを許可します。

E1032 reserved-asset-dir

エラー。 asset("...") のパスが、アセットディレクトリ最上位の system-fonts または std ディレクトリに入っています。これらの名前はバイトコードとアーカイブがシステムフォントと標準ライブラリのアセット（シェーダー）を置く場所なので、アセットには使えません。

const GOTHIC: FontAsset = asset("system-fonts/msgothic.ttc");

修正方法: ディレクトリを改名します。例: asset("fonts/msgothic.ttc")。