mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-16 09:53:36 +00:00
Code Issues Projects Releases Wiki Activity

Update the style of more tests.

Browse Source
This commit is contained in:
Zoltan Somogyi
2020-10-06 19:20:18 +11:00
parent 7fec2d28a7
commit d23c4f74a3
71 changed files with 978 additions and 978 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tests/hard_coded/string_substring.m
View File

@@ -17,7 +17,7 @@
:- import_module string.
main(!IO) :-
(
( if
string.between("cat", -1, max_int, "cat"),
string.between("cat", 0, max_int, "cat"),
string.between("cat", 1, max_int, "at"),
@@ -34,8 +34,8 @@ main(!IO) :-
string.between("cat", 1, 2, "a"),
string.between("cat", 1, 3, "at"),
string.between("cat", 1, 4, "at")
->
then
io.write_string("test succeeded\n", !IO)
;
else
io.write_string("test failed\n", !IO)
).