mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 17:33:38 +00:00
Code Issues Projects Releases Wiki Activity

Add a test of int -> uint64 conversion.

Browse Source 
tests/hard_coded/Mmakefile:
tests/hard_coded/from_int_uint64.{m,exp*}:
     As above.
This commit is contained in:
Julien Fischer
2021-06-30 22:58:48 +10:00
parent 81651698d8
commit ee2804ad7d
4 changed files with 94 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tests/hard_coded/Mmakefile
View File

@@ -160,6 +160,7 @@ ORDINARY_PROGS = \
from_int_int8 \
from_int_uint16 \
from_int_uint32 \
from_int_uint64 \
from_int_uint8 \
func_and_pred \
func_ctor_ambig \

14
tests/hard_coded/from_int_uint64.exp Normal file
View File

@@ -0,0 +1,14 @@
from_int(-9223372036854775808) = <<out-of-range>>
from_int(-2147483648) = <<out-of-range>>
from_int(-32768) = <<out-of-range>>
from_int(-128) = <<out-of-range>>
from_int(0) = 0
from_int(1) = 1
from_int(2) = 2
from_int(8) = 8
from_int(10) = 10
from_int(16) = 16
from_int(127) = 127
from_int(32767) = 32767
from_int(2147483647) = 2147483647
from_int(9223372036854775807) = 9223372036854775807

14
tests/hard_coded/from_int_uint64.exp2 Normal file
View File

@@ -0,0 +1,14 @@
from_int(-9223372036854775808) = <<out-of-range>>
from_int(-2147483648) = <<out-of-range>>
from_int(-32768) = <<out-of-range>>
from_int(-128) = <<out-of-range>>
from_int(0) = 0
from_int(1) = 1
from_int(2) = 2
from_int(8) = 8
from_int(10) = 10
from_int(16) = 16
from_int(127) = 127
from_int(32767) = 32767
from_int(2147483647) = 2147483647
from_int(9223372036854775807) = <<out-of-range>>

65
tests/hard_coded/from_int_uint64.m Normal file
View File

@@ -0,0 +1,65 @@
%---------------------------------------------------------------------------%
% vim: ft=mercury ts=4 sw=4 et wm=0 tw=0
%---------------------------------------------------------------------------%
% Test conversion of Mercury ints to signed 64-bit integers.
% The .exp file is for systems where int is 64-bit.
% The .exp2 file is for systems where int is 32-bit.
:- module from_int_uint64.
:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is det.
%---------------------------------------------------------------------------%
%---------------------------------------------------------------------------%
:- implementation.
:- import_module uint64.
:- import_module list.
:- import_module string.
%---------------------------------------------------------------------------%
main(!IO) :-
list.foldl(do_test, numbers, !IO).
:- pred do_test(string::in, io::di, io::uo) is det.
do_test(IntStr, !IO) :-
io.format("from_int(%s) = ", [s(IntStr)], !IO),
( if
string.to_int(IntStr, Int),
uint64.from_int(Int, UInt64)
then
io.format("%u\n", [u64(UInt64)], !IO)
else
io.write_string("<<out-of-range>>\n", !IO)
).
:- func numbers = list(string).
numbers = [
"-9223372036854775808",
"-2147483648",
"-32768",
"-128",
"0",
"1",
"2",
"8",
"10",
"16",
"127",
"32767",
"2147483647",
"9223372036854775807"
].
%---------------------------------------------------------------------------%
:- end_module from_int_uint64.
%---------------------------------------------------------------------------%