Markdown for LLMs

LDC-E1114 — Unknown standard-library package

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# 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

```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

```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:

```text
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](/diagnostics/LDC-E1110/) — a known standard package with the wrong version.
- [Vocabulary](/constructs/vocabulary/) — how names are declared and which positions take them.