SP022 DeprecatedInClause

ActiveError — Errors, when they are introduced, are always considered active.

The in clause has been removed. A declaration written at file scope already belongs to the universe, so drop the in clause. To place a declaration under another concept, nest it inside that concept.

Raised by

• Universe — The universe block must exist in every universe.

Decided in

• ADR012 FileScopeUniverse (isIntroducedBy) — Accepted

In the compiler

• packages/prose-parser/src/errors.js:288