LDC-E1111 — Manifest dependency without an import

What it means

The manifest lists the package’s dependencies, and the act requests them with imports. The two lists must agree: a manifest row with no matching import is a dead entry that still takes part in version resolution, pinning a release nothing in the text uses. The compiler stops at the header rather than resolving a dependency the act never asked for.

The repair is to delete the dead manifest row, or to add the import the row was meant to support. A dependency that nothing requests is either a leftover or a missing import — the fix declares which.

Example

run

{"argv": ["check", "$ROOT"], "files": {"law.toml": "[package]\nname = \"demo.diagnostics\"\nversion = \"0.1.0\"\nlanguage = \"0.2\"\nnamespace = \"urn:law:demo:diagnostics\"\n\n[dependencies]\n\"dep.shapes\" = \"0.1.0\"\n", "a.law": "language \"law.core\" version \"0.2\";\npackage demo.diagnostics version \"0.1.0\";\nnamespace \"urn:law:demo:diagnostics\";\n\nentity A;\n"}, "expect": "LDC-E1111"}

Fix

run

{"argv": ["check", "$ROOT"], "files": {"law.toml": "[package]\nname = \"demo.diagnostics\"\nversion = \"0.1.0\"\nlanguage = \"0.2\"\nnamespace = \"urn:law:demo:diagnostics\"\n", "a.law": "language \"law.core\" version \"0.2\";\npackage demo.diagnostics version \"0.1.0\";\nnamespace \"urn:law:demo:diagnostics\";\n\nentity A;\n"}, "expect": null}

Engine message

The engine reports this in its own wording:

Output

$ROOT/a.law:1:1: error LDC-E1111: manifest $ROOT/law.toml declares dependency "dep.shapes", but no `import` requests it (§10/§23: a dead manifest row takes part in version resolution and must have support in the act)

Related

• LDC-E1109 — the manifest disagreeing about the package itself.
• LDC-E1104 — the mirror: an import the resolve context never presents.