summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/semantic/analysis.rs4
-rw-r--r--src/semantic/translate.rs9
2 files changed, 11 insertions, 2 deletions
diff --git a/src/semantic/analysis.rs b/src/semantic/analysis.rs
index cf19351..09832c4 100644
--- a/src/semantic/analysis.rs
+++ b/src/semantic/analysis.rs
@@ -218,8 +218,8 @@ fn trans_exp<'a, F: frame::Frame>(
&Add => {
match (left_ty, right_ty) {
(Ty::Int, Ty::Int) => {
- err!(exp, TypeError::Unimplemented)
- // Ok(Ty::Int)
+ Ok((tr.make_binop(ir::Binop::Plus, left_exp, right_exp),
+ Ty::Int))
}
(Ty::String, Ty::String) => {
err!(exp, TypeError::Unimplemented)
diff --git a/src/semantic/translate.rs b/src/semantic/translate.rs
index 179eb62..bcbad3a 100644
--- a/src/semantic/translate.rs
+++ b/src/semantic/translate.rs
@@ -48,4 +48,13 @@ impl<F: frame::Frame> Translate<F> {
pub fn make_num(&mut self, num: u64) -> Expression {
Expression::Exp(ir::Expression::Const(num))
}
+
+ pub fn make_binop(&mut self, op: ir::Binop,
+ left: Expression, right: Expression) -> Expression {
+ match (left, right) {
+ (Expression::Exp(left), Expression::Exp(right)) =>
+ Expression::Exp(ir::Expression::Binop(op, Box::new(left), Box::new(right))),
+ _ => panic!("Can't make binop from Void"),
+ }
+ }
}