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