Forbid duplicate top-level letbindings

2 files changed, 16 insertions, 0 deletions

diff --git a/test/typecheck/fail/duplicate_toplevel_let.expect b/test/typecheck/fail/duplicate_toplevel_let.expect
new file mode 100644
index 00000000..431e182b
--- /dev/null
+++ b/test/typecheck/fail/duplicate_toplevel_let.expect
@@ -0,0 +1,6 @@
+Type error:
+[duplicate_toplevel_let.sail]:6:4-14
+6 |let X: int = 4
+  |    ^--------^
+  | Duplicate toplevel let binding X
+  | 
diff --git a/test/typecheck/fail/duplicate_toplevel_let.sail b/test/typecheck/fail/duplicate_toplevel_let.sail
new file mode 100644
index 00000000..218e6592
--- /dev/null
+++ b/test/typecheck/fail/duplicate_toplevel_let.sail
@@ -0,0 +1,10 @@
+default Order dec
+
+$include <prelude.sail>
+
+let X: int = 3
+let X: int = 4
+
+function main() -> unit = {
+  print_int("X = ", X)
+}