mars/kerolox
1
0
Fork 0
Code Issues Pull Requests Actions Packages Releases Activity

AstProgramInfo -> ProgramInfo

Browse Source
This commit is contained in:
Marceline Cramer
2026-05-04 19:57:48 -06:00
parent 1536d43d97
commit e2c7985ef9
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
crates/frontend/src/ast.rs
View File

@@ -314,12 +314,12 @@ pub fn apply(db: &dyn Database, ast: AstNode) -> Apply {
} }
/// A type alias for parse stage [Expr]. /// A type alias for parse stage [Expr].
pub type Expr = ir::Expr<AstProgramInfo>; pub type Expr = ir::Expr<ProgramInfo>;
/// Program information for IR at parse time. /// 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 SymbolLabel = Infallible;
type RelationLabel = Infallible; type RelationLabel = Infallible;
type AssumptionMeta = Infallible; type AssumptionMeta = Infallible;