schala/schala-lang/language/src/typechecking.rs

use std::rc::Rc;

use ast::*;

pub type TypeName = Rc<String>;

pub struct TypeContext {

}

type TypeResult<T> = Result<T, TypeError>;

#[derive(Debug, Clone)]
struct TypeError { }

struct Type {

}

impl TypeContext {
  pub fn new() -> TypeContext {
    TypeContext { }
  }

  pub fn typecheck(&mut self, ast: &AST) -> Result<(), String> {
    match self.infer_ast(ast) {
      Ok(_) => Ok(()),
      Err(err) => Err(format!("Type error: {:?}", err))
    }
  }
}

impl TypeContext {
  fn infer_ast(&mut self, ast: &AST) -> TypeResult<()> {
    unimplemented!()
  }
}

#[cfg(test)]
mod tests {
  use super::*;
  #[test]
  fn basic_inference() {

  }
}