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

Still more deletions

Browse Source
This commit is contained in:
greg 2018-05-15 23:58:52 -07:00
parent c7e46c1cfa
commit 808a1bfc98
1 changed files with 0 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -113,15 +113,6 @@ impl TypeContext {
if let Statement::Declaration(decl) = statement { if let Statement::Declaration(decl) = statement {
match decl { match decl {
FuncSig(signature) | FuncDecl(signature, _) => { FuncSig(signature) | FuncDecl(signature, _) => {
/*
let mut uvar_gen = UVarGenerator::new();
let mut ty: Type = signature.type_anno.as_ref().map(|name: &TypeName| name.to_type()).unwrap_or_else(|| {Ok(uvar_gen.next())} )?;
for &(_, ref type_name) in signature.params.iter().rev() {
let arg_type = type_name.as_ref().map(|name| name.to_type()).unwrap_or_else(|| {Ok(uvar_gen.next())} )?;
ty = Func(bx!(arg_type), bx!(ty));
}
self.bindings.insert(signature.name.clone(), ty);
*/
self.symbol_table.values.insert( self.symbol_table.values.insert(
signature.name.clone(), signature.name.clone(),
Symbol { name: signature.name.clone(), spec: SymbolSpec::Func } Symbol { name: signature.name.clone(), spec: SymbolSpec::Func }