Skip to content
docs
Arxo ↗

LDC-E1113 — A package cannot claim a standard-library name

For LLMs5 sections

The standard-library namespace belongs to the language, not to any authored package: its dictionary arrives with the language release and is declared by the language catalogue. A package that names itself law.std or anything under it would shadow that shared dictionary for every consumer at once, so the compiler stops at the package line.

The repair is a rename: pick a name outside the standard space. The standard types stay reachable under their usual qualified spellings no matter what the package is called.

Arxo Law
language "law.core" version "0.2";
package law.std.time version "0.2.0";
namespace "urn:law:demo:diagnostics";
entity Applicant;
Arxo Law
language "law.core" version "0.2";
package demo.diagnostics version "0.1.0";
namespace "urn:law:demo:diagnostics";
entity Applicant;

The engine reports this in its own wording:

Output
example.law:2:1: error LDC-E1113: package "law.std.time" declares a name from the `law.std` prelude space (§23: the std dictionary arrives with the language semantics version and is declared by the packs/std/ catalogue, not by a package; errata E-0154)

Documentation for Arxo. Writings — blog.arxo.io.

Anonymous visit counts on stats.arxo.io, no cookies.