Backport from sid to buster
[hcoop/debian/mlton.git] / regression / real-sign.ok
CommitLineData
7f918cf1
CE
1Testing Real32
2sign(negNan) = raise Domain
3signBit(negNan) = true
4sign(abs(negNan)) = raise Domain
5signBit(abs(negNan)) = false
6sign(negInf) = ~1
7signBit(negInf) = true
8sign(abs(negInf)) = 1
9signBit(abs(negInf)) = false
10sign(negOne) = ~1
11signBit(negOne) = true
12sign(abs(negOne)) = 1
13signBit(abs(negOne)) = false
14sign(negZero) = 0
15signBit(negZero) = true
16sign(abs(negZero)) = 0
17signBit(abs(negZero)) = false
18sign(posZero) = 0
19signBit(posZero) = false
20sign(abs(posZero)) = 0
21signBit(abs(posZero)) = false
22sign(posOne) = 1
23signBit(posOne) = false
24sign(abs(posOne)) = 1
25signBit(abs(posOne)) = false
26sign(posInf) = 1
27signBit(posInf) = false
28sign(abs(posInf)) = 1
29signBit(abs(posInf)) = false
30sign(posNan) = raise Domain
31signBit(posNan) = false
32sign(abs(posNan)) = raise Domain
33signBit(abs(posNan)) = false
34
35Testing Real64
36sign(negNan) = raise Domain
37signBit(negNan) = true
38sign(abs(negNan)) = raise Domain
39signBit(abs(negNan)) = false
40sign(negInf) = ~1
41signBit(negInf) = true
42sign(abs(negInf)) = 1
43signBit(abs(negInf)) = false
44sign(negOne) = ~1
45signBit(negOne) = true
46sign(abs(negOne)) = 1
47signBit(abs(negOne)) = false
48sign(negZero) = 0
49signBit(negZero) = true
50sign(abs(negZero)) = 0
51signBit(abs(negZero)) = false
52sign(posZero) = 0
53signBit(posZero) = false
54sign(abs(posZero)) = 0
55signBit(abs(posZero)) = false
56sign(posOne) = 1
57signBit(posOne) = false
58sign(abs(posOne)) = 1
59signBit(abs(posOne)) = false
60sign(posInf) = 1
61signBit(posInf) = false
62sign(abs(posInf)) = 1
63signBit(abs(posInf)) = false
64sign(posNan) = raise Domain
65signBit(posNan) = false
66sign(abs(posNan)) = raise Domain
67signBit(abs(posNan)) = false