1 files changed, 0 insertions, 35 deletions
diff --git a/infer.c b/infer.c
deleted file mode 100644
index dad5241..0000000
--- a/infer.c
+++ /dev/null
@@ -1,35 +0,0 @@
-/* if check_curr, this will check against the current value of t */
-static bool infer_expr(Expression *e) {
-	Type *t = &e->type;
-	switch (e->kind) {
-	case EXPR_INT_LITERAL:
-	    t->kind = TYPE_BUILTIN;
-		t->builtin = BUILTIN_I64;
-		break;
-	case EXPR_FLOAT_LITERAL:
-		t->kind = TYPE_BUILTIN;
-		t->builtin = BUILTIN_FLOAT;
-		break;
-	}
-	return true;
-}
-
-static bool type_eq(Type *a, Type *b) {
-	return true; /* TODO */
-}
-	
-static bool infer_decl(Declaration *d) {
-	if (d->flags & DECL_FLAG_FOUND_TYPE) return true;
-	if (!infer_expr(&d->expr)) return false;
-	if (d->flags & DECL_FLAG_INFER_TYPE) {
-		d->type = d->expr.type;
-	} else {
-		if (!type_eq(&d->type, &d->expr.type)) {
-			/* TODO more helpful error */
-			err_print(d->where, "Type mismatch");
-			return false;
-		}
-	}
-	d->flags |= DECL_FLAG_FOUND_TYPE;
-	return true;
-}