diff options
Diffstat (limited to 'testsuite/tests/lib/should_run/enum02.stdout-hugs')
| -rw-r--r-- | testsuite/tests/lib/should_run/enum02.stdout-hugs | 141 |
1 files changed, 141 insertions, 0 deletions
diff --git a/testsuite/tests/lib/should_run/enum02.stdout-hugs b/testsuite/tests/lib/should_run/enum02.stdout-hugs new file mode 100644 index 0000000000..a28b84b187 --- /dev/null +++ b/testsuite/tests/lib/should_run/enum02.stdout-hugs @@ -0,0 +1,141 @@ +Testing Enum Int8: + (succ (0::Int8)) = 1 + (succ (minBound::Int8)) = -127 + (succ (maxBound::Int8)) = error "succ: applied to maxBound" + pred (1::Int8) = 0 + pred (maxBound::Int8) = 126 + pred (minBound::Int8) = error "pred: applied to minBound" + (map (toEnum::Int->Int8) [1, fromIntegral (minBound::Int8), fromIntegral (maxBound::Int8)]) = [1,-128,127] + (toEnum (maxBound::Int))::Int8 = -1 + (map fromEnum [(1::Int8),minBound,maxBound]) = [1,-128,127] + (take 7 [(1::Int8)..]) = [1,2,3,4,5,6,7] + (take 7 [((maxBound::Int8)-5)..]) = [122,123,124,125,126,127] + (take 7 [(1::Int8),2..]) = [1,2,3,4,5,6,7] + (take 7 [(1::Int8),7..]) = [1,7,13,19,25,31,37] + (take 7 [(1::Int8),1..]) = [1,1,1,1,1,1,1] + (take 7 [(1::Int8),0..]) = [1,0,-1,-2,-3,-4,-5] + (take 7 [(5::Int8),2..]) = [5,2,-1,-4,-7,-10,-13] + (take 7 [x, x-1 ..]) = [-127,-128] + (take 7 [x, x-1 ..]) = [-123,-124,-125,-126,-127,-128] + (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])) = [] + (take 7 ([(5::Int8) .. 0])) = [] + (take 7 ([(maxBound-(5::Int8)) .. maxBound])) = [122,123,124,125,126,127] + (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 [(1::Int8),2..1]) = [1] + (take 7 [(2::Int8),1..2]) = [2] + (take 7 [(2::Int8),1..1]) = [2,1] + (take 7 [(2::Int8),3..1]) = [] + (take 7 [x,(x+1)..maxBound]) = [123,124,125,126,127] + (take 7 [x,(x-1)..minBound]) = [-123,-124,-125,-126,-127,-128] +Testing Enum Int16: + (succ (0::Int16)) = 1 + (succ (minBound::Int16)) = -32767 + (succ (maxBound::Int16)) = error "succ: applied to maxBound" + pred (1::Int16) = 0 + pred (maxBound::Int16) = 32766 + pred (minBound::Int16) = error "pred: applied to minBound" + (map (toEnum::Int->Int16) [1, fromIntegral (minBound::Int16), fromIntegral (maxBound::Int16)]) = [1,-32768,32767] + (toEnum (maxBound::Int))::Int16 = -1 + (map fromEnum [(1::Int16),minBound,maxBound]) = [1,-32768,32767] + (take 7 [(1::Int16)..]) = [1,2,3,4,5,6,7] + (take 7 [((maxBound::Int16)-5)..]) = [32762,32763,32764,32765,32766,32767] + (take 7 [(1::Int16),2..]) = [1,2,3,4,5,6,7] + (take 7 [(1::Int16),7..]) = [1,7,13,19,25,31,37] + (take 7 [(1::Int16),1..]) = [1,1,1,1,1,1,1] + (take 7 [(1::Int16),0..]) = [1,0,-1,-2,-3,-4,-5] + (take 7 [(5::Int16),2..]) = [5,2,-1,-4,-7,-10,-13] + (take 7 [x, x-1 ..]) = [-32767,-32768] + (take 7 [x, x-1 ..]) = [-32763,-32764,-32765,-32766,-32767,-32768] + (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])) = [] + (take 7 ([(5::Int16) .. 0])) = [] + (take 7 ([(maxBound-(5::Int16)) .. maxBound])) = [32762,32763,32764,32765,32766,32767] + (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 [(1::Int16),2..1]) = [1] + (take 7 [(2::Int16),1..2]) = [2] + (take 7 [(2::Int16),1..1]) = [2,1] + (take 7 [(2::Int16),3..1]) = [] + (take 7 [x,(x+1)..maxBound]) = [32763,32764,32765,32766,32767] + (take 7 [x,(x-1)..minBound]) = [-32763,-32764,-32765,-32766,-32767,-32768] +Testing Enum Int32: + (succ (0::Int32)) = 1 + (succ (minBound::Int32)) = -2147483647 + (succ (maxBound::Int32)) = error "succ: applied to maxBound" + pred (1::Int32) = 0 + pred (maxBound::Int32) = 2147483646 + pred (minBound::Int32) = error "pred: applied to minBound" + (map (toEnum::Int->Int32) [1, fromIntegral (minBound::Int32), fromIntegral (maxBound::Int32)]) = [1,-2147483648,2147483647] + (toEnum (maxBound::Int))::Int32 = 2147483647 + (map fromEnum [(1::Int32),minBound,maxBound]) = [1,-2147483648,2147483647] + (take 7 [(1::Int32)..]) = [1,2,3,4,5,6,7] + (take 7 [((maxBound::Int32)-5)..]) = [2147483642,2147483643,2147483644,2147483645,2147483646,2147483647] + (take 7 [(1::Int32),2..]) = [1,2,3,4,5,6,7] + (take 7 [(1::Int32),7..]) = [1,7,13,19,25,31,37] + (take 7 [(1::Int32),1..]) = [1,1,1,1,1,1,1] + (take 7 [(1::Int32),0..]) = [1,0,-1,-2,-3,-4,-5] + (take 7 [(5::Int32),2..]) = [5,2,-1,-4,-7,-10,-13] + (take 7 [x, x-1 ..]) = [-2147483647,-2147483648] + (take 7 [x, x-1 ..]) = [-2147483643,-2147483644,-2147483645,-2147483646,-2147483647,-2147483648] + (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])) = [] + (take 7 ([(5::Int32) .. 0])) = [] + (take 7 ([(maxBound-(5::Int32)) .. maxBound])) = [2147483642,2147483643,2147483644,2147483645,2147483646,2147483647] + (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 [(1::Int32),2..1]) = [1] + (take 7 [(2::Int32),1..2]) = [2] + (take 7 [(2::Int32),1..1]) = [2,1] + (take 7 [(2::Int32),3..1]) = [] + (take 7 [x,(x+1)..maxBound]) = [2147483643,2147483644,2147483645,2147483646,2147483647] + (take 7 [x,(x-1)..minBound]) = [-2147483643,-2147483644,-2147483645,-2147483646,-2147483647,-2147483648] +Testing Enum Int64: + (succ (0::Int64)) = 1 + (succ (minBound::Int64)) = -9223372036854775807 + (succ (maxBound::Int64)) = error "succ: applied to maxBound" + pred (1::Int64) = 0 + pred (maxBound::Int64) = 9223372036854775806 + pred (minBound::Int64) = error "pred: applied to minBound" + (map (toEnum::Int->Int64) [1, fromIntegral (minBound::Int64), fromIntegral (maxBound::Int64)]) = [1,Fail: arithmetic overflow + (toEnum (maxBound::Int))::Int64 = 2147483647 + (map fromEnum [(1::Int64),fromIntegral (minBound::Int) ,fromIntegral (maxBound::Int)]) = [1,-2147483648,2147483647] + fromEnum (maxBound::Int64) = Fail: arithmetic overflow + (take 7 [(1::Int64)..]) = [1,2,3,4,5,6,7] + (take 7 [((maxBound::Int64)-5)..]) = [9223372036854775802,9223372036854775803,9223372036854775804,9223372036854775805,9223372036854775806,9223372036854775807] + (take 7 [(1::Int64),2..]) = [1,2,3,4,5,6,7] + (take 7 [(1::Int64),7..]) = [1,7,13,19,25,31,37] + (take 7 [(1::Int64),1..]) = [1,1,1,1,1,1,1] + (take 7 [(1::Int64),0..]) = [1,0,-1,-2,-3,-4,-5] + (take 7 [(5::Int64),2..]) = [5,2,-1,-4,-7,-10,-13] + (take 7 [x, x-1 ..]) = [-9223372036854775807,-9223372036854775808] + (take 7 [x, x-1 ..]) = [-9223372036854775803,-9223372036854775804,-9223372036854775805,-9223372036854775806,-9223372036854775807,-9223372036854775808] + (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])) = [] + (take 7 ([(5::Int64) .. 0])) = [] + (take 7 ([(maxBound-(5::Int64)) .. maxBound])) = [9223372036854775802,9223372036854775803,9223372036854775804,9223372036854775805,9223372036854775806,9223372036854775807] + (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] + (take 7 [(1::Int64),2..1]) = [1] + (take 7 [(2::Int64),1..2]) = [2] + (take 7 [(2::Int64),1..1]) = [2,1] + (take 7 [(2::Int64),3..1]) = [] + (take 7 [x,(x+1)..maxBound]) = [9223372036854775803,9223372036854775804,9223372036854775805,9223372036854775806,9223372036854775807] + (take 7 [x,(x-1)..minBound]) = [-9223372036854775803,-9223372036854775804,-9223372036854775805,-9223372036854775806,-9223372036854775807,-9223372036854775808] |