From db41db44f8693d6d1b740eb0b55ef84a4245b576 Mon Sep 17 00:00:00 2001
From: fab <fabrice.leal.ch@gmail.com>
Date: Wed, 12 Dec 2018 21:29:05 +0000
Subject: tidy unit tests

---
 tests/utf8.ur | 20 ++++----------------
 1 file changed, 4 insertions(+), 16 deletions(-)

(limited to 'tests/utf8.ur')

diff --git a/tests/utf8.ur b/tests/utf8.ur
index 777bb141..4a89c22b 100644
--- a/tests/utf8.ur
+++ b/tests/utf8.ur
@@ -11,32 +11,20 @@ fun from_m_upto_n f m n =
 fun test_fn_both_sides [a ::: Type] (_ : eq a) (_ : show a) (f : unit -> a) (expected : a) (testname : string) : xbody =
 <xml>
   <p>Server side test: {[testname]}</p>
-  <pre>{[assert (f () = expected) "False" testname "True" ]}</pre>	
-  <active code={let
-		    val computed = f ()
-		    val msgErr = "False " ^ testname ^ ": expected " ^ (show expected) ^ " but is " ^ (show computed)
-		    val r = assert (computed = expected) msgErr testname "True"
-		in
-		    return <xml><p>Client side test: {[testname]}</p><pre>{[r]}</pre></xml>
-		end}>
+  <pre>{[show (f () = expected)]}</pre>	
+  <active code={return <xml><p>Client side test: {[testname]}</p><pre>{[show (f () = expected)]}</pre></xml>}>
 </active>
 </xml>
 
 fun test_fn_sside [a ::: Type] (_ : eq a) (_ : show a) (f : unit -> a) (expected : a) (testname : string) : xbody =
     <xml>
       <p>Server side test: {[testname]}</p>
-      <pre>{[assert (f () = expected) "False" testname "True" ]}</pre>
+      <pre>{[show (f () = expected)]}</pre>
     </xml>
 
 fun test_fn_cside [a ::: Type] (_ : eq a) (_ : show a) (f : unit -> a) (expected : a) (testname : string) : xbody =
     <xml>
-      <active code={let
-		    val computed = f ()
-		    val msgErr = "False " ^ testname ^ ": expected " ^ (show expected) ^ " but is " ^ (show computed)
-		    val r = assert (computed = expected) msgErr testname "True"
-		in
-		    return <xml><p>Client side test: {[testname]}</p><pre>{[r]}</pre></xml>
-		    end}>
+      <active code={return <xml><p>Client side test: {[testname]}</p><pre>{[show (f () = expected)]}</pre></xml>}>
       </active>
     </xml>
 
-- 
cgit v1.2.3