pub mod frontend;
pub mod lints;
pub use lints::shape::{
infer_binding_shapes, infer_binding_shapes_from_mir, lint_shapes, lint_shapes_from_mir,
};
pub fn lint_mir_analysis(result: &runmat_hir::LoweringResult) -> Vec<runmat_hir::HirDiagnostic> {
let mir = match runmat_mir::lowering::lower_assembly(&result.assembly) {
Ok(mir) => mir,
Err(err) => {
return vec![runmat_hir::HirDiagnostic::new(
"lint.mir.lowering_failed",
runmat_hir::HirDiagnosticSeverity::Error,
format!("MIR lowering failed: {}", err.message),
err.span.unwrap_or(runmat_hir::Span { start: 0, end: 0 }),
)
.with_category("mir-lowering")]
}
};
runmat_mir::analysis::analyze_assembly(&mir).diagnostics
}