From cd6466eef8a7cb878010f5d9c6f6349606393bb1 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 6 Feb 2019 19:49:45 +0000
Subject: Add typechecking test from Mark

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

diff --git a/test/typecheck/pass/lt_flow.sail b/test/typecheck/pass/lt_flow.sail
new file mode 100644
index 00000000..4e7572da
--- /dev/null
+++ b/test/typecheck/pass/lt_flow.sail
@@ -0,0 +1,5 @@
+val lt_flow : forall 'n 'm. (int('n), int('m)) -> bool('n <= 'm)
+
+val test : unit -> bool(true)
+
+function test() = lt_flow(1,10)
-- 
cgit v1.2.3