4 files changed, 18 insertions, 0 deletions

diff --git a/test/typecheck/fail/duplicate_ctor.expect b/test/typecheck/fail/duplicate_ctor.expect
new file mode 100644
index 00000000..28253714
--- /dev/null
+++ b/test/typecheck/fail/duplicate_ctor.expect
@@ -0,0 +1,6 @@
+Type error:
+[duplicate_ctor.sail]:3:15-19
+3 |union foo2 = { Bar1 : int }
+  |               ^--^
+  | Constructor or function already exists for Bar1
+  | 
diff --git a/test/typecheck/fail/duplicate_ctor.sail b/test/typecheck/fail/duplicate_ctor.sail
new file mode 100644
index 00000000..44a133d3
--- /dev/null
+++ b/test/typecheck/fail/duplicate_ctor.sail
@@ -0,0 +1,3 @@
+union foo1 = { Bar1 : int }
+
+union foo2 = { Bar1 : int }
\ No newline at end of file
diff --git a/test/typecheck/fail/duplicate_type_id.expect b/test/typecheck/fail/duplicate_type_id.expect
new file mode 100644
index 00000000..1cd2f4a8
--- /dev/null
+++ b/test/typecheck/fail/duplicate_type_id.expect
@@ -0,0 +1,6 @@
+Type error:
+[duplicate_type_id.sail]:3:6-10
+3 |union foo1 = { Bar2 : unit }
+  |      ^--^
+  | Cannot create variant foo1, type name is already bound
+  | 
diff --git a/test/typecheck/fail/duplicate_type_id.sail b/test/typecheck/fail/duplicate_type_id.sail
new file mode 100644
index 00000000..fe600096
--- /dev/null
+++ b/test/typecheck/fail/duplicate_type_id.sail
@@ -0,0 +1,3 @@
+union foo1 = { Bar1 : unit }
+
+union foo1 = { Bar2 : unit }
\ No newline at end of file