Fix some more tests on Win64
[packages/base.git] / tests / enum01.stdout-ws-64
1 Testing Enum Int: 
2     (succ (0::Int)) = 1
3     (succ (minBound::Int)) = -9223372036854775807
4     (succ (maxBound::Int)) = error "Prelude.Enum.succ{Int}: tried to take `succ' of maxBound"
5     pred (1::Int) = 0
6     pred (maxBound::Int) = 9223372036854775806
7     pred (minBound::Int) = error "Prelude.Enum.pred{Int}: tried to take `pred' of minBound"
8     (map (toEnum::Int->Int) [1,minBound,maxBound]) = [1,-9223372036854775808,9223372036854775807]
9     (map fromEnum [(1::Int),minBound,maxBound]) = [1,-9223372036854775808,9223372036854775807]
10     (take 7 [(1::Int)..]) = [1,2,3,4,5,6,7]
11     (take 7 [((maxBound::Int)-5)..]) = [9223372036854775802,9223372036854775803,9223372036854775804,9223372036854775805,9223372036854775806,9223372036854775807]
12     (take 7 [(1::Int),2..]) = [1,2,3,4,5,6,7]
13     (take 7 [(1::Int),7..]) = [1,7,13,19,25,31,37]
14     (take 7 [(1::Int),1..]) = [1,1,1,1,1,1,1]
15     (take 7 [(1::Int),0..]) = [1,0,-1,-2,-3,-4,-5]
16     (take 7 [(5::Int),2..]) = [5,2,-1,-4,-7,-10,-13]
17     (take 7 [x, x-1 ..]) = [-9223372036854775807,-9223372036854775808]
18     (take 7 [x, x-1 ..]) = [-9223372036854775803,-9223372036854775804,-9223372036854775805,-9223372036854775806,-9223372036854775807,-9223372036854775808]
19     (take 7 [x, (x+1) ..]) = [9223372036854775802,9223372036854775803,9223372036854775804,9223372036854775805,9223372036854775806,9223372036854775807]
20     ([minBound::Int,1..]) = [-9223372036854775808,1]
21     ([minBound::Int,0..]) = [-9223372036854775808,0]
22     ([minBound::Int,-1..]) = [-9223372036854775808,-1,9223372036854775806]
23     ([maxBound::Int,1..]) = [9223372036854775807,1,-9223372036854775805]
24     ([maxBound::Int,0..]) = [9223372036854775807,0,-9223372036854775807]
25     ([maxBound::Int,-1..]) = [9223372036854775807,-1]
26     (take 7 ([(1::Int) .. 5])) = [1,2,3,4,5]
27     (take 4 ([(1::Int) .. 1])) = [1]
28     (take 7 ([(1::Int) .. 0])) = []
29     (take 7 ([(5::Int) .. 0])) = []
30     (take 7 ([(maxBound-(5::Int)) .. maxBound])) = [9223372036854775802,9223372036854775803,9223372036854775804,9223372036854775805,9223372036854775806,9223372036854775807]
31     (take 7 ([(minBound+(5::Int)) .. minBound])) = []
32     (take 7 [(5::Int),4..1]) = [5,4,3,2,1]
33     (take 7 [(5::Int),3..1]) = [5,3,1]
34     (take 7 [(5::Int),3..2]) = [5,3]
35     (take 7 [(1::Int),2..1]) = [1]
36     (take 7 [(2::Int),1..2]) = [2]
37     (take 7 [(2::Int),1..1]) = [2,1]
38     (take 7 [(2::Int),3..1]) = []
39     ([minBound, 1..maxBound::Int]) = [-9223372036854775808,1]
40     ([minBound, 0..maxBound::Int]) = [-9223372036854775808,0]
41     ([minBound,-1..maxBound::Int]) = [-9223372036854775808,-1,9223372036854775806]
42     ([minBound,-1..maxBound-1::Int]) = [-9223372036854775808,-1,9223372036854775806]
43     ([minBound,-1..maxBound-2::Int]) = [-9223372036854775808,-1]
44     ([maxBound, 1..minBound::Int]) = [9223372036854775807,1,-9223372036854775805]
45     ([maxBound, 0..minBound::Int]) = [9223372036854775807,0,-9223372036854775807]
46     ([maxBound, 0..minBound+1::Int]) = [9223372036854775807,0,-9223372036854775807]
47     ([maxBound, 0..minBound+2::Int]) = [9223372036854775807,0]
48     ([maxBound,-1..minBound::Int]) = [9223372036854775807,-1]
49     (take 7 [x,(x+1)..maxBound]) = [9223372036854775803,9223372036854775804,9223372036854775805,9223372036854775806,9223372036854775807]
50     (take 7 [x,(x-1)..minBound]) = [-9223372036854775803,-9223372036854775804,-9223372036854775805,-9223372036854775806,-9223372036854775807,-9223372036854775808]
51 Testing Enum Integer: 
52     (succ (0::Integer)) = 1
53     (succ ((-1)::Integer)) = 0
54     pred (1::Integer) = 0
55     pred (0::Integer) = -1
56     (map (toEnum::Int->Integer) [1,minBound,maxBound]) = [1,-9223372036854775808,9223372036854775807]
57     (map fromEnum [(1::Integer),42,45]) = [1,42,45]
58     (take 7 [(1::Integer)..]) = [1,2,3,4,5,6,7]
59     (take 7 [(-5::Integer)..]) = [-5,-4,-3,-2,-1,0,1]
60     (take 7 [(1::Integer),2..]) = [1,2,3,4,5,6,7]
61     (take 7 [(1::Integer),7..]) = [1,7,13,19,25,31,37]
62     (take 7 [(1::Integer),1..]) = [1,1,1,1,1,1,1]
63     (take 7 [(1::Integer),0..]) = [1,0,-1,-2,-3,-4,-5]
64     (take 7 [(5::Integer),2..]) = [5,2,-1,-4,-7,-10,-13]
65     (take 7 ([(1::Integer) .. 5])) = [1,2,3,4,5]
66     (take 4 ([(1::Integer) .. 1])) = [1]
67     (take 7 ([(1::Integer) .. 0])) = []
68     (take 7 ([(5::Integer) .. 0])) = []
69     (take 7 [(5::Integer),4..1]) = [5,4,3,2,1]
70     (take 7 [(5::Integer),3..1]) = [5,3,1]
71     (take 7 [(5::Integer),3..2]) = [5,3]
72     (take 7 [(1::Integer),2..1]) = [1]
73     (take 7 [(2::Integer),1..2]) = [2]
74     (take 7 [(2::Integer),1..1]) = [2,1]
75     (take 7 [(2::Integer),3..1]) = []
76 Testing Enum Char: 
77     (succ 'a') = 'b'
78     (succ (minBound::Char)) = '\SOH'
79     (succ (maxBound::Char)) = error "Prelude.Enum.Char.succ: bad argument"
80     (pred 'b') = 'a'
81     pred (maxBound::Char) = '\1114110'
82     pred (minBound::Char) = error "Prelude.Enum.Char.pred: bad argument"
83     (map (toEnum::Int->Char) [123,ord (minBound::Char), ord(maxBound::Char)]) = "{\NUL\1114111"
84     (toEnum::Int->Char) (minBound::Int) = error "Prelude.chr: bad argument: (-9223372036854775808)"
85     (map fromEnum ['X',minBound,maxBound]) = [88,0,1114111]
86     (take 7 ['\NUL' .. ]) = "\NUL\SOH\STX\ETX\EOT\ENQ\ACK"
87     (take 7 ['\250' .. ]) = "\250\251\252\253\254\255\256"
88     (take 7 ['a','b'..]) = "abcdefg"
89     (take 7 ['a','e'..]) = "aeimquy"
90     (take 7 ['a','a'..]) = "aaaaaaa"
91     (take 7 ['z','y'..]) = "zyxwvut"
92     (take 7 ['z','v'..]) = "zvrnjfb"
93     (take 7 ['\1', '\0' ..]) = "\SOH\NUL"
94     (take 7 ['\5', '\4' ..]) = "\ENQ\EOT\ETX\STX\SOH\NUL"
95     (take 7 ['\250', '\251' ..]) = "\250\251\252\253\254\255\256"
96     (take 7 (['a' .. 'e'])) = "abcde"
97     (take 4 (['a' .. 'a'])) = "a"
98     (take 7 (['b' .. 'a'])) = ""
99     (take 7 (['e' .. 'a'])) = ""
100     (take 7 (['\250' .. '\255'])) = "\250\251\252\253\254\255"
101     (take 7 (['\5' .. '\0'])) = ""
102     (take 7 ['f','e' .. 'b']) = "fedcb"
103     (take 7 ['g','e' .. 'b']) = "gec"
104     (take 7 ['g','d' .. 'c']) = "gd"
105     (take 7 ['b','c' .. 'b']) = "b"
106     (take 7 ['c','b' .. 'c']) = "c"
107     (take 7 ['c','b' .. 'b']) = "cb"
108     (take 7 ['c','d' .. 'b']) = ""
109     (take 7 ['\251', '\252' .. maxBound]) = "\251\252\253\254\255\256\257"
110     (take 7 ['\5', '\4' .. minBound]) = "\ENQ\EOT\ETX\STX\SOH\NUL"
111 Testing Enum (): 
112     (succ ()) = error "Prelude.Enum.().succ: bad argument"
113     (succ (minBound::())) = error "Prelude.Enum.().succ: bad argument"
114     (succ (maxBound::())) = error "Prelude.Enum.().succ: bad argument"
115     (pred ()) = error "Prelude.Enum.().pred: bad argument"
116     (pred (minBound::())) = error "Prelude.Enum.().pred: bad argument"
117     (pred (maxBound::())) = error "Prelude.Enum.().pred: bad argument"
118     (toEnum 0)::() = ()
119     (toEnum 1)::() = error "Prelude.Enum.().toEnum: bad argument"
120     (fromEnum ()) = 0
121     (take 7 [()..]) = [()]
122     (take 7 [(),()..]) = [(),(),(),(),(),(),()]
123     (take 7 [()..()]) = [()]
124     (take 7 [(),()..()]) = [(),(),(),(),(),(),()]
125 Testing Enum Ordering (derived): 
126     (succ LT) = EQ
127     (succ (minBound::Ordering)) = EQ
128     (succ (maxBound::Ordering)) = error "Prelude.Enum.Ordering.succ: bad argument"
129     (pred GT) = EQ
130     (pred (maxBound::Ordering)) = EQ
131     (pred (minBound::Ordering)) = error "Prelude.Enum.Ordering.pred: bad argument"
132     (toEnum 0)::Ordering = LT
133     (toEnum 5)::Ordering = error "Prelude.Enum.Ordering.toEnum: bad argument"
134     (fromEnum LT) = 0
135     (fromEnum EQ) = 1
136     (fromEnum GT) = 2
137     ([LT ..]) = [LT,EQ,GT]
138     ([EQ ..]) = [EQ,GT]
139     ([GT ..]) = [GT]
140     ([LT,EQ ..]) = [LT,EQ,GT]
141     ([EQ,GT ..]) = [EQ,GT]
142     ([EQ,LT ..]) = [EQ,LT]
143     ([LT,GT ..]) = [LT,GT]
144     ([GT,LT ..]) = [GT,LT]
145     take 7 (([GT,GT ..])) = [GT,GT,GT,GT,GT,GT,GT]
146     take 7 (([LT,LT ..])) = [LT,LT,LT,LT,LT,LT,LT]
147     ([LT .. GT]) = [LT,EQ,GT]
148     ([LT .. EQ]) = [LT,EQ]
149     ([LT .. LT]) = [LT]
150     ([GT .. LT]) = []
151     ([GT .. EQ]) = []
152     ([GT .. GT]) = [GT]
153     ([LT,EQ .. GT]) = [LT,EQ,GT]
154     ([GT,EQ .. LT]) = [GT,EQ,LT]
155     ([GT,EQ .. EQ]) = [GT,EQ]
156     ([GT,EQ .. GT]) = [GT]
157     ([GT,EQ .. LT]) = [GT,EQ,LT]
158     ([LT,EQ .. LT]) = [LT]
159     ([LT,EQ .. GT]) = [LT,EQ,GT]
160     take 7 (([LT,LT .. GT])) = [LT,LT,LT,LT,LT,LT,LT]
161     take 7 (([GT,GT .. LT])) = []
162 Testing Enum Bool: 
163     (succ False) = True
164     (succ (minBound::Bool)) = True
165     (succ (maxBound::Bool)) = error "Prelude.Enum.Bool.succ: bad argument"
166     (pred True) = False
167     (pred (maxBound::Bool)) = False
168     (pred (minBound::Bool)) = error "Prelude.Enum.Bool.pred: bad argument"
169     (toEnum 0)::Bool = False
170     (toEnum 5)::Bool = error "Prelude.Enum.Bool.toEnum: bad argument"
171     (fromEnum False) = 0
172     (fromEnum True) = 1
173     ([False ..]) = [False,True]
174     ([True ..]) = [True]
175     ([False,True ..]) = [False,True]
176     ([True,False ..]) = [True,False]
177     (take 7 ([False,False ..])) = [False,False,False,False,False,False,False]
178     (take 7 ([True,True ..])) = [True,True,True,True,True,True,True]
179     ([False .. True]) = [False,True]
180     ([True .. False]) = []
181     take 7 ([False,False .. False]) = [False,False,False,False,False,False,False]
182     take 7 ([False,False .. True]) = [False,False,False,False,False,False,False]
183     take 7 ([False,True .. False]) = [False]
184     take 7 ([False,True .. True]) = [False,True]
185     take 7 ([True,False .. False]) = [True,False]
186     take 7 ([True,False .. True]) = [True]
187     take 7 ([True,True .. False]) = []
188     take 7 ([True,True .. True]) = [True,True,True,True,True,True,True]
189 Testing Enum Rational: 
190     (succ (0::Rational)) = 1 % 1
191     (succ ((-1)::Rational)) = 0 % 1
192     pred (1::Rational) = 0 % 1
193     pred (0::Rational) = (-1) % 1
194     (map (toEnum::Int->Rational) [1,minBound,maxBound]) = [1 % 1,(-9223372036854775808) % 1,9223372036854775807 % 1]
195     (map fromEnum [(1::Rational),42,45]) = [1,42,45]
196     (take 7 [(1::Rational)..]) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1,6 % 1,7 % 1]
197     (take 7 [(-5::Rational)..]) = [(-5) % 1,(-4) % 1,(-3) % 1,(-2) % 1,(-1) % 1,0 % 1,1 % 1]
198     (take 7 [(1::Rational),2..]) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1,6 % 1,7 % 1]
199     (take 7 [(1::Rational),7..]) = [1 % 1,7 % 1,13 % 1,19 % 1,25 % 1,31 % 1,37 % 1]
200     (take 7 [(1::Rational),1..]) = [1 % 1,1 % 1,1 % 1,1 % 1,1 % 1,1 % 1,1 % 1]
201     (take 7 [(1::Rational),0..]) = [1 % 1,0 % 1,(-1) % 1,(-2) % 1,(-3) % 1,(-4) % 1,(-5) % 1]
202     (take 7 [(5::Rational),2..]) = [5 % 1,2 % 1,(-1) % 1,(-4) % 1,(-7) % 1,(-10) % 1,(-13) % 1]
203     (take 7 ([(1::Rational) .. 5])) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1]
204     (take 4 ([(1::Rational) .. 1])) = [1 % 1]
205     (take 7 ([(1::Rational) .. 0])) = []
206     (take 7 ([(5::Rational) .. 0])) = []
207     (take 7 [(5::Rational),4..1]) = [5 % 1,4 % 1,3 % 1,2 % 1,1 % 1]
208     (take 7 [(5::Rational),3..1]) = [5 % 1,3 % 1,1 % 1]
209     (take 7 [(5::Rational),3..2]) = [5 % 1,3 % 1,1 % 1]
210     (take 7 [(1::Rational),2..1]) = [1 % 1]
211     (take 7 [(2::Rational),1..2]) = [2 % 1]
212     (take 7 [(2::Rational),1..1]) = [2 % 1,1 % 1]
213     (take 7 [(2::Rational),3..1]) = []
214 Testing Enum (Ratio Int): 
215     (succ (0::Ratio Int)) = 1 % 1
216     (succ ((-1)::Ratio Int)) = 0 % 1
217     pred (1::Ratio Int) = 0 % 1
218     pred (0::Ratio Int) = (-1) % 1
219     (map (toEnum::Int->Ratio Int) [1,minBound,maxBound]) = [1 % 1,(-9223372036854775808) % 1,9223372036854775807 % 1]
220     (map fromEnum [(1::Ratio Int),42,45]) = [1,42,45]
221     (take 7 [(1::Ratio Int)..]) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1,6 % 1,7 % 1]
222     (take 7 [(-5::Ratio Int)..]) = [(-5) % 1,(-4) % 1,(-3) % 1,(-2) % 1,(-1) % 1,0 % 1,1 % 1]
223     (take 7 [((toEnum ((maxBound::Int)-5))::Ratio Int)..]) = [9223372036854775802 % 1,9223372036854775803 % 1,9223372036854775804 % 1,9223372036854775805 % 1,9223372036854775806 % 1,9223372036854775807 % 1,(-9223372036854775808) % 1]
224     (take 7 [(1::Ratio Int),2..]) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1,6 % 1,7 % 1]
225     (take 7 [(1::Ratio Int),7..]) = [1 % 1,7 % 1,13 % 1,19 % 1,25 % 1,31 % 1,37 % 1]
226     (take 7 [(1::Ratio Int),1..]) = [1 % 1,1 % 1,1 % 1,1 % 1,1 % 1,1 % 1,1 % 1]
227     (take 7 [(1::Ratio Int),0..]) = [1 % 1,0 % 1,(-1) % 1,(-2) % 1,(-3) % 1,(-4) % 1,(-5) % 1]
228     (take 7 [(5::Ratio Int),2..]) = [5 % 1,2 % 1,(-1) % 1,(-4) % 1,(-7) % 1,(-10) % 1,(-13) % 1]
229     (take 7 [x, x-1 ..]) = [(-9223372036854775807) % 1,(-9223372036854775808) % 1,9223372036854775807 % 1,9223372036854775806 % 1,9223372036854775805 % 1,9223372036854775804 % 1,9223372036854775803 % 1]
230     (take 7 [x, x-1 ..]) = [(-9223372036854775803) % 1,(-9223372036854775804) % 1,(-9223372036854775805) % 1,(-9223372036854775806) % 1,(-9223372036854775807) % 1,(-9223372036854775808) % 1,9223372036854775807 % 1]
231     (take 7 [x, (x+1) ..]) = [9223372036854775802 % 1,9223372036854775803 % 1,9223372036854775804 % 1,9223372036854775805 % 1,9223372036854775806 % 1,9223372036854775807 % 1,(-9223372036854775808) % 1]
232     (take 7 ([(1::Ratio Int) .. 5])) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1]
233     (take 4 ([(1::Ratio Int) .. 1])) = [1 % 1]
234     (take 7 ([(1::Ratio Int) .. 0])) = []
235     (take 7 ([(5::Ratio Int) .. 0])) = []
236     (take 7 ([x..y])) = [9223372036854775802 % 1,9223372036854775803 % 1,9223372036854775804 % 1,9223372036854775805 % 1,9223372036854775806 % 1,9223372036854775807 % 1]
237     (take 7 ([x..y])) = []
238     (take 7 [(5::Ratio Int),4..1]) = [5 % 1,4 % 1,3 % 1,2 % 1,1 % 1]
239     (take 7 [(5::Ratio Int),3..1]) = [5 % 1,3 % 1,1 % 1]
240     (take 7 [(5::Ratio Int),3..2]) = [5 % 1,3 % 1,1 % 1]
241     (take 7 [(1::Ratio Int),2..1]) = [1 % 1]
242     (take 7 [(2::Ratio Int),1..2]) = [2 % 1]
243     (take 7 [(2::Ratio Int),1..1]) = [2 % 1,1 % 1]
244     (take 7 [(2::Ratio Int),3..1]) = []
245     (take 7 [x,(x+1)..y]) = [9223372036854775803 % 1,9223372036854775804 % 1,9223372036854775805 % 1,9223372036854775806 % 1,9223372036854775807 % 1]
246     (take 7 [x,(x-1)..y]) = [(-9223372036854775803) % 1,(-9223372036854775804) % 1,(-9223372036854775805) % 1,(-9223372036854775806) % 1,(-9223372036854775807) % 1,(-9223372036854775808) % 1]