E010: acton-import-in-contract

Metadata

• Code: E010
• Rule: acton-import-in-contract
• Status: Stable since v0.0.1
• Quick fix: not available

What it does

Forbids importing files from .acton in contract dependency trees.

Why is this bad?

Contract sources should not depend on Acton internals from .acton. Such imports are environment-dependent and make contracts less portable.

Behavior notes

This rule's default diagnostic severity is error, unlike most linter rules. [lint.rules] can still lower or allow it. When acton check is run on a single .tolk file, command settings currently allow this rule for test-file workflows.

Example

import "@acton/tlb/maybe";
E010: contracts cannot import files from Acton standard library

Use instead:

import "@stdlib/gas-payments";