From be32e9e3d3e70ddea1ecfc41dafbc054060b7b78 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Thu, 6 Aug 2020 17:22:47 +0100
Subject: Forbid duplicate top-level letbindings

---
 test/typecheck/fail/duplicate_toplevel_let.expect |  6 ++++++
 test/typecheck/fail/duplicate_toplevel_let.sail   | 10 ++++++++++
 2 files changed, 16 insertions(+)
 create mode 100644 test/typecheck/fail/duplicate_toplevel_let.expect
 create mode 100644 test/typecheck/fail/duplicate_toplevel_let.sail

(limited to 'test')

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)
+}
-- 
cgit v1.2.3