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

Temporarily disable type-erroring

Browse Source 
and tighten some code
This commit is contained in:
greg 2018-02-26 19:16:49 -08:00
parent f7659a5598
commit c285ee182e
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/schala_lang/eval.rs
View File

@ -167,11 +167,9 @@ impl<'a> State<'a> {
use self::ValueEntry::*; use self::ValueEntry::*;
match self.values.get(&name) { match self.values.get(&name) {
None => return Err(format!("Value {} not found", *name)), None => return Err(format!("Value {} not found", *name)),
Some(lookup) => { Some(lookup) => match lookup {
match lookup { &Binding { ref val } => Ok(val.clone()),
&Binding { ref val } => Ok(val.clone()), &Function { .. } => Ok(FullyEvaluatedExpr::FuncLit(name.clone()))
&Function { .. } => Ok(FullyEvaluatedExpr::FuncLit(name.clone()))
}
} }
} }
} }

2
src/schala_lang/mod.rs
View File

@ -75,8 +75,10 @@ impl ProgrammingLanguageInterface for Schala {
}, },
Err(msg) => { Err(msg) => {
output.add_artifact(TraceArtifact::new("type_check", msg)); output.add_artifact(TraceArtifact::new("type_check", msg));
/*
output.add_output(format!("Type error")); output.add_output(format!("Type error"));
return output; return output;
*/
} }
} }