From c293746d4c34ccb7abb8af41f7d05940aa7e4076 Mon Sep 17 00:00:00 2001
From: Artyom Shalkhakov <artyom.shalkhakov@gmail.com>
Date: Tue, 8 May 2018 16:03:24 +0600
Subject: Adding Selenium-based checking to tests.

---
 tests/bindpat.ur | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'tests/bindpat.ur')

diff --git a/tests/bindpat.ur b/tests/bindpat.ur
index bca4bd41..8fd6eb39 100644
--- a/tests/bindpat.ur
+++ b/tests/bindpat.ur
@@ -1,6 +1,9 @@
 fun main () : transaction page =
   (a, b) <- return (1, 2);
   {C = c, ...} <- return {C = "hi", D = False};
-  d <- return 2.34;
-  {1 = e, 2 = f} <- return (8, 9);
+  let
+  val d = 2.34
+  val {1 = e, 2 = f} = (8, 9)
+  in
   return <xml>{[a]}, {[b]}, {[c]}, {[d]}, {[e]}, {[f]}</xml>
+  end
\ No newline at end of file
-- 
cgit v1.2.3