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

Add symbols from symbol table into global type context

Browse Source
This commit is contained in:
greg 2018-06-03 18:09:42 -07:00
parent 5d84153c9e
commit ff5446af3f
1 changed files with 22 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -52,6 +52,25 @@ impl TypeEnv {
fn default() -> TypeEnv { fn default() -> TypeEnv {
TypeEnv(HashMap::new()) TypeEnv(HashMap::new())
} }
fn populate_from_symbols(&mut self, symbol_table: &SymbolTable) {
for (name, symbol) in symbol_table.values.iter() {
if let SymbolSpec::Func(ref type_names) = symbol.spec {
let mut ch: char = 'a';
let mut names = vec![];
for _ in type_names.iter() {
names.push(Rc::new(format!("{}", ch)));
ch = ((ch as u8) + 1) as char;
}
let sigma = Scheme {
names: names.clone(),
ty: Type::Func(names.into_iter().map(|n| Type::Var(n)).collect())
};
self.0.insert(name.clone(), sigma);
}
}
}
} }
pub struct TypeContext<'a> { pub struct TypeContext<'a> {
@ -70,8 +89,9 @@ impl<'a> TypeContext<'a> {
} }
pub fn type_check_ast(&mut self, input: &parsing::AST) -> Result<String, String> { pub fn type_check_ast(&mut self, input: &parsing::AST) -> Result<String, String> {
let ref mut global_env = self.global_env; let ref symbol_table = self.symbol_table_handle.borrow();
let output = global_env.infer_block(&input.0)?; self.global_env.populate_from_symbols(symbol_table);
let output = self.global_env.infer_block(&input.0)?;
Ok(format!("{:?}", output)) Ok(format!("{:?}", output))
} }
} }