enough type checking for all examples to pass

1 files changed, 16 insertions, 0 deletions

diff --git a/src/ast.c b/src/ast.c
index 17a4461..119f943 100644
--- a/src/ast.c
+++ b/src/ast.c
@@ -549,6 +549,19 @@ void fix_closures(struct ast *root)
 	}
 }
 
+static bool special_auto_very_bad(struct type *a, struct type *b)
+{
+	/** @todo massive hack, accept 'auto' as a placeholder and match it
+	 * against anything, will need to be fixed eventually */
+	if (a->k == TYPE_ID && strcmp(a->id, "auto") == 0)
+		return true;
+
+	if (b->k == TYPE_ID && strcmp(b->id, "auto") == 0)
+		return true;
+
+	return false;
+}
+
 bool types_match(struct type *a, struct type *b)
 {
 	if (!a && !b)
@@ -560,6 +573,9 @@ bool types_match(struct type *a, struct type *b)
 	if (!a && b)
 		return false;
 
+	if (special_auto_very_bad(a, b))
+		return true;
+
 	if (a->k != b->k)
 		return false;