LDC-E1114 — Unknown standard-library package

What it means

The standard library is a closed catalogue: only the packages it names exist, and the compiler cannot present any other name from that space. Importing a standard package the catalogue never declared is rejected at the import line, before anything is resolved through it.

The repair is a spelling check against the catalogue: fix the typo, or move the dependency out of the standard space into a regular package import. A correct import additionally repeats the built-in version.

Example

Arxo Law

language "law.core" version "0.2";
package demo.diagnostics version "0.1.0";
namespace "urn:law:demo:diagnostics";
import law.std.bogus version "0.2.0";

entity Applicant;

Fix

Arxo Law

language "law.core" version "0.2";
package demo.diagnostics version "0.1.0";
namespace "urn:law:demo:diagnostics";
import law.std.time version "0.2.0";

entity Applicant;

Engine message

The engine reports this in its own wording:

Output

example.law:4:1: error LDC-E1114: import "law.std.bogus": no such prelude package — §257–§266 name ten law.std packages, and the context cannot present another name (errata E-0154)

Related

• LDC-E1110 — a known standard package with the wrong version.
• Vocabulary — how names are declared and which positions take them.