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 0202aab181
commit 22b4738726
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 { fn infer(&mut self, expr: &Expression) -> TypeCheckResult {
use self::ExpressionType::*;
use self::Type::*;
use self::TypeConst::*;
match (&expr.0, &expr.1) { match (&expr.0, &expr.1) {
(exprtype, &Some(ref anno)) => { (exprtype, &Some(ref anno)) => {
let tx = self.infer_no_anno(exprtype)?; let tx = self.infer_no_anno(exprtype)?;
@ -327,6 +323,10 @@ impl TypeContext {
} }
fn infer_no_anno(&mut self, ex: &ExpressionType) -> TypeCheckResult { fn infer_no_anno(&mut self, ex: &ExpressionType) -> TypeCheckResult {
use self::ExpressionType::*;
use self::Type::*;
use self::TypeConst::*;
Ok(match ex { Ok(match ex {
&IntLiteral(_) => TConst(Integer), &IntLiteral(_) => TConst(Integer),
&BoolLiteral(_) => TConst(Boolean), &BoolLiteral(_) => TConst(Boolean),