Type check string types

1 files changed, 12 insertions, 0 deletions

diff --git a/type-check.c b/type-check.c
index ef9c2dc..c727ed5 100644
--- a/type-check.c
+++ b/type-check.c
@@ -184,6 +184,12 @@ is_label (ast_type_spec_t *type)
 }
 
 static gboolean
+is_string (ast_type_spec_t *type)
+{
+    return type->common.type == AST_STRING_TYPE;
+}
+
+static gboolean
 assignable (ast_type_spec_t *left,
 	    ast_type_spec_t *right)
 {
@@ -226,6 +232,9 @@ assignable (ast_type_spec_t *left,
     if (is_array (left) && is_null (right))
 	return TRUE;
 
+    if (is_string (left) && is_string (right))
+	return TRUE;
+    
     return FALSE;
 }
 
@@ -495,7 +504,10 @@ type_check_arguments (ast_type_spec_t **types,
     for (i = 0; types[i] != NULL; ++i)
     {
 	if (!assignable (types[i], arguments[i]->common.type_spec))
+	{
+	    g_print ("type %d vs %d\n", arguments[i]->common.type_spec->common.type, types[i]->common.type);
 	    return report_error ("Type error in argument list\n");
+	}
     }
 
     return TRUE;