From e2c7985ef91f17e30fbe72b9735f10d1838587fd Mon Sep 17 00:00:00 2001 From: Marceline Cramer Date: Mon, 4 May 2026 19:57:48 -0600 Subject: [PATCH] AstProgramInfo -> ProgramInfo --- crates/frontend/src/ast.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/crates/frontend/src/ast.rs b/crates/frontend/src/ast.rs index 7207a41..a725d97 100644 --- a/crates/frontend/src/ast.rs +++ b/crates/frontend/src/ast.rs @@ -314,12 +314,12 @@ pub fn apply(db: &dyn Database, ast: AstNode) -> Apply { } /// A type alias for parse stage [Expr]. -pub type Expr = ir::Expr; +pub type Expr = ir::Expr; /// Program information for IR at parse time. -pub struct AstProgramInfo; +pub struct ProgramInfo; -impl ir::ProgramInfo for AstProgramInfo { +impl ir::ProgramInfo for ProgramInfo { type SymbolLabel = Infallible; type RelationLabel = Infallible; type AssumptionMeta = Infallible;