From 0e27492d76cf5ac1abdde6a45a4c05652ba74c2a Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 2 Aug 2017 18:13:33 +0100
Subject: Test for overloaded function with varying arities

---
 test/typecheck/pass/varity.sail | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 test/typecheck/pass/varity.sail

(limited to 'test/typecheck')

diff --git a/test/typecheck/pass/varity.sail b/test/typecheck/pass/varity.sail
new file mode 100644
index 00000000..d196f777
--- /dev/null
+++ b/test/typecheck/pass/varity.sail
@@ -0,0 +1,15 @@
+
+val int -> unit effect pure f1
+val (int, int) -> unit effect pure f2
+val (int, int, int) -> unit effect pure f3
+
+overload f [f1; f2; f3]
+
+val unit -> unit effect pure test
+
+function test () =
+{
+  f(1);
+  f(2, 3);
+  f(4, 5, 6);
+}
-- 
cgit v1.2.3