From 5d84153c9eb8655b5874384cb06736df4e8f15a9 Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Sun, 3 Jun 2018 02:49:54 -0700
Subject: [PATCH] Want bin expressions typed soon

---
 schala-lang/src/typechecking.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/schala-lang/src/typechecking.rs b/schala-lang/src/typechecking.rs
index 839ebbc..a30e87d 100644
--- a/schala-lang/src/typechecking.rs
+++ b/schala-lang/src/typechecking.rs
@@ -130,6 +130,10 @@ impl TypeEnv {
     Ok(match expr {
       NatLiteral(_) => Type::Const(Nat),
       StringLiteral(_) => Type::Const(StringT),
+      BinExp(op, lhs, rhs) => {
+
+        return Err(format!("NOTDONE"))
+      },
       Call { f, arguments } =>  {
 
         return Err(format!("NOTDONE"))