srdatalog.ir.mir

Mid-level IR (MIR): types, passes, emit.

Submodules:

• types — the MIR ADT (Scan, ColumnJoin, CartesianJoin, etc.)

• passes — MIR optimization passes (clause reordering, etc.)

• emit — S-expression printer for golden-diff tests

A DIALECT catalog is also exposed (see srdatalog.ir.core.dialect) so MIR participates in the framework registry alongside iir.cf, relation.sorted_array, etc. The MIR types here are not yet Op-subclassed or frozen — that’s the next standardization step. The catalog is purely metadata today.

Submodules

• srdatalog.ir.mir.passes
• srdatalog.ir.mir.print
• srdatalog.ir.mir.types

Package Contents

Data

DIALECT

API

srdatalog.ir.mir.DIALECT

‘Dialect(…)’