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

More work with guards

Browse Source
This commit is contained in:
greg 2018-08-15 22:34:04 -07:00
parent 34c2b43371
commit 97bee58fbe
1 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
schala-lang/src/reduced_ast.rs
View File

@ -1,6 +1,6 @@
use std::rc::Rc; use std::rc::Rc;
use ast::{AST, Statement, Expression, Declaration, Discriminator, IfExpressionBody, Pattern, PatternLiteral}; use ast::{AST, Statement, Expression, Declaration, Discriminator, IfExpressionBody, Pattern, PatternLiteral, Guard, HalfExpr};
use symbol_table::{Symbol, SymbolSpec, SymbolTable}; use symbol_table::{Symbol, SymbolSpec, SymbolTable};
use builtin::{BinOp, PrefixOp}; use builtin::{BinOp, PrefixOp};
@ -193,7 +193,17 @@ fn reduce_if_expression(discriminator: &Discriminator, body: &IfExpressionBody,
IfExpressionBody::GuardList(ref guard_arms) => { IfExpressionBody::GuardList(ref guard_arms) => {
let alternatives = guard_arms.iter().map(|arm| { let alternatives = guard_arms.iter().map(|arm| {
let (tag, bound_vars) = match arm.guard { let (tag, bound_vars) = match arm.guard {
_ => (Some(0), vec![]), Guard::Pat(ref p) => match p {
Pattern::Ignored => (None, vec![]),
Pattern::TuplePattern(_) => {
unimplemented!()
},
_ => unimplemented!()
},
Guard::HalfExpr(HalfExpr { ref op, ref expr }) => {
(Some(0), vec![])
}
}; };
let item = arm.body.iter().map(|expr| expr.reduce(symbol_table)).collect(); let item = arm.body.iter().map(|expr| expr.reduce(symbol_table)).collect();