src/checker.rs


1
2
3
4
5
6
7

use crate::parser::*;

pub enum CheckError {
    Unbound(String),
    DuplicateField(String),
    ExpectedTypeFoundTerm(String),
}