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

Add required imports

Browse Source
This commit is contained in:
greg 2017-10-12 21:46:12 -07:00
parent 9b4a23c4f2
commit 4c4004d3ac
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/schala_lang/type_check.rs
View File

@ -312,10 +312,6 @@ impl TypeContext {
}
*/
fn infer(&mut self, expr: &Expression) -> TypeCheckResult {
use self::ExpressionType::*;
use self::Type::*;
use self::TypeConst::*;
match (&expr.0, &expr.1) {
(exprtype, &Some(ref anno)) => {
let tx = self.infer_no_anno(exprtype)?;
@ -327,6 +323,10 @@ impl TypeContext {
}
fn infer_no_anno(&mut self, ex: &ExpressionType) -> TypeCheckResult {
use self::ExpressionType::*;
use self::Type::*;
use self::TypeConst::*;
Ok(match ex {
&IntLiteral(_) => TConst(Integer),
&BoolLiteral(_) => TConst(Boolean),