Get rid of type resolution function. Instead just overwrite the

contents of the type spec in the type-checker.

1 files changed, 1 insertions, 15 deletions

diff --git a/ast.c b/ast.c
index d726164..00889fc 100644
--- a/ast.c
+++ b/ast.c
@@ -483,17 +483,6 @@ ast_type_spec_new_object (ast_class_definition_t *class)
     return type_spec;
 }
 
-ast_type_spec_t *
-ast_type_spec_resolve (const ast_type_spec_t *type)
-{
-    g_return_val_if_fail (type != NULL, NULL);
-
-    if (type->common.type == AST_IDENTIFIER_TYPE)
-	return ast_type_spec_resolve (type->identifier.resolved);
-    else
-	return (ast_type_spec_t *)type;
-}
-
 int
 ast_type_spec_get_size (ast_type_spec_t *type)
 {
@@ -529,11 +518,8 @@ ast_type_spec_get_size (ast_type_spec_t *type)
 	break;
 
     case AST_INFERRED_TYPE:
-	size = ast_type_spec_get_size (type->inferred.resolved);
-	break;
-	
     case AST_IDENTIFIER_TYPE:
-	size = ast_type_spec_get_size (type->identifier.resolved);
+	g_assert_not_reached();
 	break;
     }