1 files changed, 15 insertions, 0 deletions
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);
+}