add type_mismatch test

3 files changed, 6 insertions, 2 deletions

diff --git a/src/debug.c b/src/debug.c
index d229ae6..273fbb0 100644
--- a/src/debug.c
+++ b/src/debug.c
@@ -156,8 +156,6 @@ void type_mismatch(struct scope *scope, struct ast *node,
 	char *ls = type_str(l);
 	char *rs = type_str(r);
 	semantic_error(scope, node, "type mismatch: %s vs %s\n", ls, rs);
-	free(ls);
-	free(rs);
 }
 
 void move_error(struct ast *new_use, struct ast *prev_use)
diff --git a/tests/type_mismatch/test.mk b/tests/type_mismatch/test.mk
new file mode 100644
index 0000000..3f589d9
--- /dev/null
+++ b/tests/type_mismatch/test.mk
@@ -0,0 +1 @@
+XFAIL += type_mismatch,'type_mismatch.fwd:4:12: error: type mismatch: i32 vs i64'
diff --git a/tests/type_mismatch/type_mismatch.fwd b/tests/type_mismatch/type_mismatch.fwd
new file mode 100644
index 0000000..e837740
--- /dev/null
+++ b/tests/type_mismatch/type_mismatch.fwd
@@ -0,0 +1,5 @@
+takes_i32(i32 n) {}
+
+main() {
+	takes_i32(20);
+}