From bf804fa1e18c717cec3944f5edea858a2f3a015d Mon Sep 17 00:00:00 2001 From: Kimplul Date: Sat, 28 Dec 2024 16:40:41 +0200 Subject: enough type checking for all examples to pass --- src/ast.c | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'src/ast.c') 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; -- cgit v1.2.3