Skip to content
docs
Arxo ↗

LDC-E1110 — Standard-library import with the wrong version

For LLMs5 sections

The standard library travels with the language itself: for each language line there is exactly one built-in standard-library release, and an explicit import of a standard package only confirms that pin. Naming a different version claims a release the language does not carry, so the compiler stops at the import line.

The repair is to repeat the version the language line implies, or to drop the import entirely — the standard vocabulary is visible without any import. Bumping the language line forward is the only way to move to a newer standard release.

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.1.0";
entity Applicant;
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;

The engine reports this in its own wording:

Output
example.law:4:1: error LDC-E1110: import "law.std.time" is declared with version "0.1.0", but the "0.2" language prelude carries std version "0.2.0" (§23: an explicit import std confirms the built-in pin and must match it; errata E-0154)

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

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