(take 7 [x, (x+1) ..]) = [122,123,124,125,126,127]
(take 7 ([(1::Int8) .. 5])) = [1,2,3,4,5]
(take 4 ([(1::Int8) .. 1])) = [1]
- (take 7 ([(1::Int8) .. 0])) = [1,0]
- (take 7 ([(5::Int8) .. 0])) = [5,4,3,2,1,0]
+ (take 7 ([(1::Int8) .. 0])) = []
+ (take 7 ([(5::Int8) .. 0])) = []
(take 7 ([(maxBound-(5::Int8)) .. maxBound])) = [122,123,124,125,126,127]
- (take 7 ([(minBound+(5::Int8)) .. minBound])) = [-123,-124,-125,-126,-127,-128]
+ (take 7 ([(minBound+(5::Int8)) .. minBound])) = []
(take 7 [(5::Int8),4..1]) = [5,4,3,2,1]
(take 7 [(5::Int8),3..1]) = [5,3,1]
(take 7 [(5::Int8),3..2]) = [5,3]
(take 7 [x, (x+1) ..]) = [32762,32763,32764,32765,32766,32767]
(take 7 ([(1::Int16) .. 5])) = [1,2,3,4,5]
(take 4 ([(1::Int16) .. 1])) = [1]
- (take 7 ([(1::Int16) .. 0])) = [1,0]
- (take 7 ([(5::Int16) .. 0])) = [5,4,3,2,1,0]
+ (take 7 ([(1::Int16) .. 0])) = []
+ (take 7 ([(5::Int16) .. 0])) = []
(take 7 ([(maxBound-(5::Int16)) .. maxBound])) = [32762,32763,32764,32765,32766,32767]
- (take 7 ([(minBound+(5::Int16)) .. minBound])) = [-32763,-32764,-32765,-32766,-32767,-32768]
+ (take 7 ([(minBound+(5::Int16)) .. minBound])) = []
(take 7 [(5::Int16),4..1]) = [5,4,3,2,1]
(take 7 [(5::Int16),3..1]) = [5,3,1]
(take 7 [(5::Int16),3..2]) = [5,3]
(take 7 [x, (x+1) ..]) = [2147483642,2147483643,2147483644,2147483645,2147483646,2147483647]
(take 7 ([(1::Int32) .. 5])) = [1,2,3,4,5]
(take 4 ([(1::Int32) .. 1])) = [1]
- (take 7 ([(1::Int32) .. 0])) = [1,0]
- (take 7 ([(5::Int32) .. 0])) = [5,4,3,2,1,0]
+ (take 7 ([(1::Int32) .. 0])) = []
+ (take 7 ([(5::Int32) .. 0])) = []
(take 7 ([(maxBound-(5::Int32)) .. maxBound])) = [2147483642,2147483643,2147483644,2147483645,2147483646,2147483647]
- (take 7 ([(minBound+(5::Int32)) .. minBound])) = [-2147483643,-2147483644,-2147483645,-2147483646,-2147483647,-2147483648]
+ (take 7 ([(minBound+(5::Int32)) .. minBound])) = []
(take 7 [(5::Int32),4..1]) = [5,4,3,2,1]
(take 7 [(5::Int32),3..1]) = [5,3,1]
(take 7 [(5::Int32),3..2]) = [5,3]
(take 7 [x, (x+1) ..]) = [9223372036854775802,9223372036854775803,9223372036854775804,9223372036854775805,9223372036854775806,9223372036854775807]
(take 7 ([(1::Int64) .. 5])) = [1,2,3,4,5]
(take 4 ([(1::Int64) .. 1])) = [1]
- (take 7 ([(1::Int64) .. 0])) = [1,0]
- (take 7 ([(5::Int64) .. 0])) = [5,4,3,2,1,0]
+ (take 7 ([(1::Int64) .. 0])) = []
+ (take 7 ([(5::Int64) .. 0])) = []
(take 7 ([(maxBound-(5::Int64)) .. maxBound])) = [9223372036854775802,9223372036854775803,9223372036854775804,9223372036854775805,9223372036854775806,9223372036854775807]
- (take 7 ([(minBound+(5::Int64)) .. minBound])) = [-9223372036854775803,-9223372036854775804,-9223372036854775805,-9223372036854775806,-9223372036854775807,-9223372036854775808]
+ (take 7 ([(minBound+(5::Int64)) .. minBound])) = []
(take 7 [(5::Int64),4..1]) = [5,4,3,2,1]
(take 7 [(5::Int64),3..1]) = [5,3,1]
(take 7 [(5::Int64),3..2]) = [5,3]