More boilerplate for apply

schala-lang/language/src/typechecking.rs

@@ -337,12 +337,15 @@ impl<'a> TypeContext<'a> {
 
     println!("ARGUMENT TYPES: {:?}", argument_types);
 
+    //TODO finish this
     Ok(ty!(UserDefined))
   }
 
   fn call(&mut self, f: &Expression, args: &Vec<Meta<Expression>>) -> InferResult<Type> {
-
-    Ok(ty!(UserDefined))
+    let tf = self.expr(f)?;
+    let arg_types: InferResult<Vec<Type>> = args.iter().map(|ex| self.expr(ex.node())).collect();
+    let arg_types = arg_types?;
+    self.handle_apply(tf, arg_types)
   }
 
   fn handle_apply(&mut self, tf: Type, args: Vec<Type>) -> InferResult<Type> {