From 274dd1ccb0239931f8d8730127a9491463c33b49 Mon Sep 17 00:00:00 2001 From: greg Date: Sun, 27 May 2018 02:44:06 -0700 Subject: [PATCH] Basic stuff --- schala-lang/src/typechecking.rs | 47 ++++++++++++++++++++++++++++++--- 1 file changed, 44 insertions(+), 3 deletions(-) diff --git a/schala-lang/src/typechecking.rs b/schala-lang/src/typechecking.rs index a3ca9f4..33082e2 100644 --- a/schala-lang/src/typechecking.rs +++ b/schala-lang/src/typechecking.rs @@ -1,14 +1,33 @@ use std::rc::Rc; +/* use std::collections::{HashSet, HashMap}; use std::collections::hash_set::Union; use std::iter::Iterator; use std::fmt; use std::fmt::Write; - use itertools::Itertools; +*/ use parsing; +pub type TypeName = Rc; +type TypeResult = Result; + +#[derive(Debug)] +enum Type { + Const(TConst), + Var(TypeName), + Func(Vec), +} + +#[derive(Debug)] +enum TConst { + Unit, + Nat, + StringT, + Custom(String) +} + pub struct TypeContext; impl TypeContext { @@ -21,7 +40,30 @@ impl TypeContext { } pub fn type_check_ast(&mut self, input: &parsing::AST) -> Result { - Ok(format!("VOID VOID VOID")) + let output = self.infer_block(&input.0)?; + Ok(format!("{:?}", output)) + } +} + +impl TypeContext { + fn infer_block(&mut self, block: &Vec) -> TypeResult { + let mut output = Type::Const(TConst::Unit); + for statement in block { + output = self.infer_statement(statement)?; + } + Ok(output) + } + fn infer_statement(&mut self, statement: &parsing::Statement) -> TypeResult { + match statement { + parsing::Statement::ExpressionStatement(expr) => self.infer_expr(expr), + parsing::Statement::Declaration(decl) => self.infer_decl(decl) + } + } + fn infer_decl(&mut self, decl: &parsing::Declaration) -> TypeResult { + Ok(Type::Const(TConst::Unit)) + } + fn infer_expr(&mut self, expr: &parsing::Expression) -> TypeResult { + Ok(Type::Const(TConst::Unit)) } } @@ -31,7 +73,6 @@ impl TypeContext { /* -type TypeName = Rc; pub type TypeResult = Result; */