From daa0062108fce86313a51a1e6103177c36a8316a Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Mon, 26 Feb 2018 21:00:36 -0800
Subject: [PATCH] Starting on function application typechecking

---
 src/schala_lang/typechecking.rs | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/schala_lang/typechecking.rs b/src/schala_lang/typechecking.rs
index ed0a8ac..46aeae5 100644
--- a/src/schala_lang/typechecking.rs
+++ b/src/schala_lang/typechecking.rs
@@ -124,12 +124,11 @@ impl TypeContext {
           None => Err(format!("No binding found for variable: {}", name)),
         }
       },
+      &Call { ref f, ref arguments } => {
+        Err(format!("Function type not yet implemented"))
+      },
       /*
   TupleLiteral(Vec<Expression>),
-  Call {
-    f: Box<Expression>,
-    arguments: Vec<Expression>,
-  },
   Index {
     indexee: Box<Expression>,
     indexers: Vec<Expression>,