fastc 0.1.0

A safe C-like language that compiles to C11
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//! Type context for type checking

use crate::ast::TypeExpr;

/// Type context for tracking types during type checking
#[derive(Debug, Default)]
pub struct TypeContext {
    // TODO: Add type tracking
}

impl TypeContext {
    pub fn new() -> Self {
        Self::default()
    }

    /// Check if two types are equal
    pub fn types_equal(&self, _a: &TypeExpr, _b: &TypeExpr) -> bool {
        // TODO: Implement type equality
        true
    }
}