Roadmap search

Versions, deliverables, workstreams, tasks, and pages

Beskid

Jump to a Beskid service

HomeSpecificationBookpckgTrackerNexus
← CatalogView on beskid-lang.org

Extern import metadata at lowering

adrStandard

src/content/docs/platform-spec/compiler/codegen-and-ir/extern-import-extraction-contract/adr/0003-extern-import-metadata-lowering.mdx

import SpecAdrChrome from '@beskid/beskid-ui/platform-spec/SpecAdrChrome.astro';

<SpecAdrChrome />

Context

FFI symbols were discovered late in the engine.

Decision

Extern imports are collected during lowering (ExternImport in codegen context) with ABI names from beskid_abi—not ad hoc engine scans.

Consequences

Link-time binding stays aligned with language-meta C ABI profile.

Verification anchors

  • compiler/crates/beskid_codegen/src/lowering/
  • compiler/crates/beskid_abi/src/symbols.rs.