Extern on contract declarations only

Platform spec ADR

Extern on contract declarations only

Back to FFI and extern ◎ Open feature in platform map

Spec standingStandard

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

Articles

• Contract import syntax How extern contracts declare foreign imports and map to symbols and call shapes. article Standard Reviewed Wed May 20
• Extern attribute schema Normative Extern and per-method interop attributes for contract imports (v0.3). article Standard Reviewed Wed May 20
• FFI and extern — Verification and traceability Conformance strategy for v0.3 FFI spec (fixtures, diagnostics, ignored runtime tests). article Standard Reviewed Wed May 20

History

0 revisions (git unavailable at build; counts may be empty)

Open full history on GitHub

No commits recorded for this path.

Completeness

OKfeature · 7 SpecSection(s) · 1 H2 heading(s)

Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).

Related spec docs

• Feature
  FFI and extern

  Parent feature hub

Context

Bulk C-style surfaces need stable contract blocks; module-level extern was exploratory.

Decision

Extern must apply only to contract declarations in v0.3 Standard. The reference compiler must reject Extern on non-contract declarations (E1510).

Consequences

Codegen collects ExternImport from contract metadata; mod-level extern remains non-Standard.

Verification anchors

compiler/crates/beskid_analysis/src/types/context/context.rs; extern attribute schema.