greg/schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Typecheck values

Browse Source
This commit is contained in:
greg 2018-05-29 00:57:27 -07:00
parent 4a27af2136
commit 33c22c8bbc
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
schala-lang/src/typechecking.rs
View File

@ -14,14 +14,14 @@ use util::StateStack;
pub type TypeName = Rc<String>; pub type TypeName = Rc<String>;
type TypeResult<T> = Result<T, String>; type TypeResult<T> = Result<T, String>;
#[derive(Debug, PartialEq)] #[derive(Debug, PartialEq, Clone)]
enum Type { enum Type {
Const(TConst), Const(TConst),
Var(TypeName), Var(TypeName),
Func(Vec<Type>), Func(Vec<Type>),
} }
#[derive(Debug, PartialEq)] #[derive(Debug, PartialEq, Clone)]
enum TConst { enum TConst {
Unit, Unit,
Nat, Nat,
@ -94,6 +94,12 @@ impl<'a> TypeContext<'a> {
return Err(format!("NOTDONE")) return Err(format!("NOTDONE"))
}, },
Value(name) => {
match self.values.lookup(name) {
Some(ty) => ty.clone(),
None => return Err(format!("Unknown variable: {}", name))
}
},
_ => Type::Const(Unit) _ => Type::Const(Unit)
}) })
} }