summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar fab <fabrice.leal.ch@gmail.com>2018-11-19 21:38:25 +0000
committerGravatar fab <fabrice.leal.ch@gmail.com>2018-11-19 21:38:25 +0000
commit6fe0b82b4d8480c3faac955c7776e12f45e6dafa (patch)
treeaac9a7e119968a5c891209a05ed3e9c2c70a6be5
parentf6d40570a8859260571f0b904ba329a1c4d1046c (diff)
cleanup
-rw-r--r--tests/utf8.ur22
1 files changed, 5 insertions, 17 deletions
diff --git a/tests/utf8.ur b/tests/utf8.ur
index 1038a59f..468c776d 100644
--- a/tests/utf8.ur
+++ b/tests/utf8.ur
@@ -20,10 +20,8 @@ fun test_fn_sside [a ::: Type] (_ : eq a) (_ : show a) (f : unit -> a) (expected
</xml>
fun substrings () : transaction page =
-
return <xml>
<body>
-
{test_fn_both_sides (fn _ => substring "abc" 0 3) "abc" "substrings 1"}
{test_fn_both_sides (fn _ => substring "abc" 1 2) "bc" "substrings 2"}
{test_fn_both_sides (fn _ => substring "abc" 2 1) "c" "substrings 3"}
@@ -32,7 +30,6 @@ fun substrings () : transaction page =
{test_fn_both_sides (fn _ => substring "ábó" 2 1) "ó" "substrings 6"}
{test_fn_both_sides (fn _ => substring "ábó" 0 2) "áb" "substrings 7"}
{test_fn_both_sides (fn _ => substring "ábó" 0 1) "á" "substrings 8"}
-
{test_fn_both_sides (fn _ => substring "" 0 0) "" "substrings 9"}
</body>
</xml>
@@ -52,8 +49,7 @@ fun strlens () : transaction page = return <xml>
{test_fn_both_sides (fn _ => strlen "カ") 1 "strlen 10"}
{test_fn_both_sides (fn _ => strlen "وظيفية") 6 "strlen 11"}
{test_fn_both_sides (fn _ => strlen "函數") 2 "strlen 12"}
- {test_fn_both_sides (fn _ => strlen "Функциональное") 14 "strlen 13"}
-
+ {test_fn_both_sides (fn _ => strlen "Функциональное") 14 "strlen 13"}
</body>
</xml>
@@ -64,11 +60,9 @@ fun strlenGens () : transaction page = return <xml>
{test_fn_both_sides (fn _ => strlenGe "aba" 4) False "strlenGe 3"}
{test_fn_both_sides (fn _ => strlenGe "aba" 3) True "strlenGe 4"}
{test_fn_both_sides (fn _ => strlenGe "aba" 2) True "strlenGe 5"}
-
{test_fn_both_sides (fn _ => strlenGe "àçá" 4) False "strlenGe 6"}
{test_fn_both_sides (fn _ => strlenGe "àçá" 3) True "strlenGe 7"}
- {test_fn_both_sides (fn _ => strlenGe "àçá" 2) True "strlenGe 8"}
-
+ {test_fn_both_sides (fn _ => strlenGe "àçá" 2) True "strlenGe 8"}
</body>
</xml>
@@ -87,18 +81,14 @@ fun strcats () : transaction page =
in
return <xml>
<body>
- {test_cat_and_len 1 "" "" "" 0}
-
+ {test_cat_and_len 1 "" "" "" 0}
{test_cat_and_len 2 "aa" "bb" "aabb" 4}
{test_cat_and_len 3 "" "bb" "bb" 2}
{test_cat_and_len 4 "aa" "" "aa" 2}
-
{test_cat_and_len 5 "àà" "áá" "ààáá" 4}
{test_cat_and_len 6 "" "áá" "áá" 2}
{test_cat_and_len 7 "àà" "" "àà" 2}
-
- {test_cat_and_len 8 "函數" "ãã" "函數ãã" 4}
-
+ {test_cat_and_len 8 "函數" "ãã" "函數ãã" 4}
</body>
</xml>
end
@@ -145,7 +135,6 @@ fun strindexs () : transaction page =
{test_fn_both_sides (fn _ => strindex "abàç" (strsub "ç" 0)) (Some 3) "strindex 5"}
</body>
</xml>
-
fun strsindexs () : transaction page =
return <xml>
@@ -405,10 +394,9 @@ fun ord_and_chrs () : transaction page =
{test_fn_both_sides (fn _ => chr (ord (strsub "カ" 0))) (strsub "カ" 0) "ord => chr 9"}
</body>
</xml>
-
+
table t : { Id : int, Text : string }
-
fun test_db () : transaction page =
let
val s1 = "abc"