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

Introduced fresh type variable method

Browse Source
This commit is contained in:
greg 2018-02-28 05:45:20 -08:00
parent 9d72a92f0b
commit df88e33579
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/schala_lang/typechecking.rs
View File

@ -4,6 +4,7 @@ use std::collections::HashMap;
use schala_lang::parsing; use schala_lang::parsing;
pub struct TypeContext { pub struct TypeContext {
type_var_count: u64,
bindings: HashMap<Rc<String>, Type>, bindings: HashMap<Rc<String>, Type>,
} }
@ -11,6 +12,7 @@ pub struct TypeContext {
pub enum Type { pub enum Type {
Const(TConst), Const(TConst),
Func(Box<Type>, Box<Type>), Func(Box<Type>, Box<Type>),
TVar(u64),
Void Void
} }
@ -48,7 +50,12 @@ pub type TypeResult<T> = Result<T, String>;
impl TypeContext { impl TypeContext {
pub fn new() -> TypeContext { pub fn new() -> TypeContext {
TypeContext { bindings: HashMap::new() } TypeContext { bindings: HashMap::new(), type_var_count: 0 }
}
pub fn fresh(&mut self) -> Type {
let ret = self.type_var_count;
self.type_var_count += 1;
Type::TVar(ret)
} }
} }