-[0 % 1, 0 % 1, 0 % 1, 2 % 1, 2 % 1, -2 % 1, -2 % 1, 22 % 7, 1 % 5000]
-[0, 0, 0, 2, 2, -2, -2, 22, 1, 1, 1, 1, 1, 1, 1, 1, 7, 5000]
-[0 % 1, 0 % 1, 0 % 1, 2 % 1, 2 % 1, -2 % 1, -2 % 1, 22 % 7, 1 % 5000]
-[0, 0, 0, 2, 2, -2, -2, 22, 1, 1, 1, 1, 1, 1, 1, 1, 7, 5000]
+[0 % 1,0 % 1,0 % 1,2 % 1,2 % 1,-2 % 1,-2 % 1,22 % 7,1 % 5000]
+[0,0,0,2,2,-2,-2,22,1,1,1,1,1,1,1,1,7,5000]
+[0 % 1,0 % 1,0 % 1,2 % 1,2 % 1,-2 % 1,-2 % 1,22 % 7,1 % 5000]
+[0,0,0,2,2,-2,-2,22,1,1,1,1,1,1,1,1,7,5000]
-[-2147483648, 2147483647, -4, 12, -2147483643, -2147483648, 2, 2, 2, 8, 8, 52861, 24, 24, 24, 0, 0, 207585147, 1, 4096, 4096]
-[-2147483648, 2147483647, -4, 12, -2147483643, -2147483648, 2, 2, 2, 8, 8, 52861, 24, 24, 24, 0, 0, 207585147, 1, 4096, 4096]
+[-2147483648,2147483647,-4,12,-2147483643,-2147483648,2,2,2,8,8,52861,24,24,24,0,0,207585147,1,4096,4096]
+[-2147483648,2147483647,-4,12,-2147483643,-2147483648,2,2,2,8,8,52861,24,24,24,0,0,207585147,1,4096,4096]
-[0, 0, 2, 3, -4, -4, 3, 1234, -1235, -1235, 1234, 12, 61, -1235, 12345, -123457, -2, 12345]
-[0, 0, 2, 3, -4, -4, 3, 1234, -1235, -1235, 1234, 12, 61, -1235, 12345, -123457, -2, 12345, 24, 246745167]
-[0, 0, 1, 1, 1, -1, -1, 5678, 5678, -5678, -5678, 3456, 14567, 5678, 6789, 7890, -2345, -6789]
-[0, 0, 1, 1, 1, -1, -1, 5678, 5678, -5678, -5678, 3456, 14567, 5678, 6789, 7890, -2345, -6789, 345678900, 3703333360749468678900]
-[0, 0, 2, 3, -3, -3, 3, 1234, -1234, -1234, 1234, 12, 61, -1234, 12345, -123456, -1, 12345]
-[0, 0, 2, 3, -3, -3, 3, 1234, -1234, -1234, 1234, 12, 61, -1234, 12345, -123456, -1, 12345, 24, 246745167]
-[0, 0, 1, 1, -3, 3, -1, 5678, -4322, 4322, -5678, 3456, 14567, -4322, 6789, -2110, 7655, -6789]
-[0, 0, 1, 1, -3, 3, -1, 5678, -4322, 4322, -5678, 3456, 14567, -4322, 6789, -2110, 7655, -6789, 345678900, 3703333360749468678900]
-[True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True]
-[True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True]
-[True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True]
-[True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True]
+[0,0,2,3,-4,-4,3,1234,-1235,-1235,1234,12,61,-1235,12345,-123457,-2,12345]
+[0,0,2,3,-4,-4,3,1234,-1235,-1235,1234,12,61,-1235,12345,-123457,-2,12345,24,246745167]
+[0,0,1,1,1,-1,-1,5678,5678,-5678,-5678,3456,14567,5678,6789,7890,-2345,-6789]
+[0,0,1,1,1,-1,-1,5678,5678,-5678,-5678,3456,14567,5678,6789,7890,-2345,-6789,345678900,3703333360749468678900]
+[0,0,2,3,-3,-3,3,1234,-1234,-1234,1234,12,61,-1234,12345,-123456,-1,12345]
+[0,0,2,3,-3,-3,3,1234,-1234,-1234,1234,12,61,-1234,12345,-123456,-1,12345,24,246745167]
+[0,0,1,1,-3,3,-1,5678,-4322,4322,-5678,3456,14567,-4322,6789,-2110,7655,-6789]
+[0,0,1,1,-3,3,-1,5678,-4322,4322,-5678,3456,14567,-4322,6789,-2110,7655,-6789,345678900,3703333360749468678900]
+[True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True]
+[True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True]
+[True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True]
+[True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True]
, show ((map truncate float_list) :: [Integer])
, show ((map truncate double_list) :: [Int])
, show ((map truncate double_list) :: [Integer])
+{-
, show ((map round float_list) :: [Int])
+-}
, show ((map round float_list) :: [Integer])
, show ((map round double_list) :: [Int])
, show ((map round double_list) :: [Integer])
, show ((map properFraction float_list) :: [(Int,Float)])
, show ((map properFraction float_list) :: [(Integer,Float)])
- , show ((map properFraction double_list) :: [(Int,Double)])
+ , show $ head ((map properFraction double_list) :: [(Int,Double)])
+{-
, show ((map properFraction double_list) :: [(Integer,Double)])
+-}
]
where
float_list :: [Float]
-[0.0, -0.0, 1.1, 2.8, 3.5, 4.5, -1.0, -2.9999995, -3.5, -4.5, 1000012.0, 123.456, 100.25, 102.5, 1.2e-3, -1.2e-7, 17000.0, -1.7e-4, 1.5e-7, 3.1415927, 1.18088e11, 1.2111e14]
-[0.0, -0.0, 1.1, 2.8, 3.5, 4.5, -1.0000000001, -2.9999995, -3.50000000001, -4.49999999999, 1000012.0, 123.456, 100.25, 102.5, 1.2e-3, -1.2e-7, 17000.0, -1.7e-4, 1.5e-7, 3.141592653589793, 1.18088e11, 1.2111e14]
-[0, 0, 2, 3, 4, 5, -1, -2, -3, -4, 1000012, 124, 101, 103, 1, 0, 17000, 0, 1, 4, 2123882496, 511705088]
-[0, 0, 2, 3, 4, 5, -1, -2, -3, -4, 1000012, 124, 101, 103, 1, 0, 17000, 0, 1, 4, 118087999488, 121109999517696]
-[0, 0, 2, 3, 4, 5, -1, -2, -3, -4, 1000012, 124, 101, 103, 1, 0, 17000, 0, 1, 4, 2123883008, 512187392]
-[0, 0, 2, 3, 4, 5, -1, -2, -3, -4, 1000012, 124, 101, 103, 1, 0, 17000, 0, 1, 4, 118088000000, 121110000000000]
-[0, 0, 1, 2, 3, 4, -1, -3, -4, -5, 1000012, 123, 100, 102, 0, -1, 17000, -1, 0, 3, 2123882496, 511705088]
-[0, 0, 1, 2, 3, 4, -1, -3, -4, -5, 1000012, 123, 100, 102, 0, -1, 17000, -1, 0, 3, 118087999488, 121109999517696]
-[0, 0, 1, 2, 3, 4, -2, -3, -4, -5, 1000012, 123, 100, 102, 0, -1, 17000, -1, 0, 3, 2123883008, 512187392]
-[0, 0, 1, 2, 3, 4, -2, -3, -4, -5, 1000012, 123, 100, 102, 0, -1, 17000, -1, 0, 3, 118088000000, 121110000000000]
-[0, 0, 1, 2, 3, 4, -1, -2, -3, -4, 1000012, 123, 100, 102, 0, 0, 17000, 0, 0, 3, 2123882496, 511705088]
-[0, 0, 1, 2, 3, 4, -1, -2, -3, -4, 1000012, 123, 100, 102, 0, 0, 17000, 0, 0, 3, 118087999488, 121109999517696]
-[0, 0, 1, 2, 3, 4, -1, -2, -3, -4, 1000012, 123, 100, 102, 0, 0, 17000, 0, 0, 3, 2123883008, 512187392]
-[0, 0, 1, 2, 3, 4, -1, -2, -3, -4, 1000012, 123, 100, 102, 0, 0, 17000, 0, 0, 3, 118088000000, 121110000000000]
-[0, 0, 1, 3, 4, 4, -1, -3, -4, -4, 1000012, 123, 100, 102, 0, 0, 17000, 0, 0, 3, 2123882496, 511705088]
-[0, 0, 1, 3, 4, 4, -1, -3, -4, -4, 1000012, 123, 100, 102, 0, 0, 17000, 0, 0, 3, 118087999488, 121109999517696]
-[0, 0, 1, 3, 4, 4, -1, -3, -4, -4, 1000012, 123, 100, 102, 0, 0, 17000, 0, 0, 3, 2123883008, 512187392]
-[0, 0, 1, 3, 4, 4, -1, -3, -4, -4, 1000012, 123, 100, 102, 0, 0, 17000, 0, 0, 3, 118088000000, 121110000000000]
-[(0, 0.0), (0, 0.0), (1, 0.100000024), (2, 0.79999995), (3, 0.5), (4, 0.5), (-1, 0.0), (-2, -0.9999995), (-3, -0.5), (-4, -0.5), (1000012, 0.0), (123, 0.45600128), (100, 0.25), (102, 0.5), (0, 1.2e-3), (0, -1.2e-7), (17000, 0.0), (0, -1.7e-4), (0, 1.5e-7), (3, 0.14159274), (2123882496, 0.0), (511705088, 0.0)]
-[(0, 0.0), (0, 0.0), (1, 0.100000024), (2, 0.79999995), (3, 0.5), (4, 0.5), (-1, 0.0), (-2, -0.9999995), (-3, -0.5), (-4, -0.5), (1000012, 0.0), (123, 0.45600128), (100, 0.25), (102, 0.5), (0, 1.2e-3), (0, -1.2e-7), (17000, 0.0), (0, -1.7e-4), (0, 1.5e-7), (3, 0.14159274), (118087999488, 0.0), (121109999517696, 0.0)]
-[(0, 0.0), (0, 0.0), (1, 0.10000000000000009), (2, 0.7999999999999998), (3, 0.5), (4, 0.5), (-1, -1.000000082740371e-10), (-2, -0.9999994999999999), (-3, -0.50000000001), (-4, -0.49999999999), (1000012, 0.0), (123, 0.45600000000000307), (100, 0.25), (102, 0.5), (0, 1.2e-3), (0, -1.2e-7), (17000, 0.0), (0, -1.7e-4), (0, 1.5e-7), (3, 0.14159265358979312), (2123883008, 0.0), (512187392, 0.0)]
-[(0, 0.0), (0, 0.0), (1, 0.10000000000000009), (2, 0.7999999999999998), (3, 0.5), (4, 0.5), (-1, -1.000000082740371e-10), (-2, -0.9999994999999999), (-3, -0.50000000001), (-4, -0.49999999999), (1000012, 0.0), (123, 0.45600000000000307), (100, 0.25), (102, 0.5), (0, 1.2e-3), (0, -1.2e-7), (17000, 0.0), (0, -1.7e-4), (0, 1.5e-7), (3, 0.14159265358979312), (118088000000, 0.0), (121110000000000, 0.0)]
+[0.0,-0.0,1.1,2.8,3.5,4.5,-1.0,-2.9999995,-3.5,-4.5,1000012.0,123.456,100.25,102.5,1.2e-3,-1.2e-7,17000.0,-1.7e-4,1.5e-7,3.1415927,1.18088e11,1.2111e14]
+[0.0,-0.0,1.1,2.8,3.5,4.5,-1.0000000001,-2.9999995,-3.50000000001,-4.49999999999,1000012.0,123.456,100.25,102.5,1.2e-3,-1.2e-7,17000.0,-1.7e-4,1.5e-7,3.141592653589793,1.18088e11,1.2111e14]
+[0,0,2,3,4,5,-1,-2,-3,-4,1000012,124,101,103,1,0,17000,0,1,4,2123882496,511705088]
+[0,0,2,3,4,5,-1,-2,-3,-4,1000012,124,101,103,1,0,17000,0,1,4,118087999488,121109999517696]
+[0,0,2,3,4,5,-1,-2,-3,-4,1000012,124,101,103,1,0,17000,0,1,4,2123883008,512187392]
+[0,0,2,3,4,5,-1,-2,-3,-4,1000012,124,101,103,1,0,17000,0,1,4,118088000000,121110000000000]
+[0,0,1,2,3,4,-1,-3,-4,-5,1000012,123,100,102,0,-1,17000,-1,0,3,2123882496,511705088]
+[0,0,1,2,3,4,-1,-3,-4,-5,1000012,123,100,102,0,-1,17000,-1,0,3,118087999488,121109999517696]
+[0,0,1,2,3,4,-2,-3,-4,-5,1000012,123,100,102,0,-1,17000,-1,0,3,2123883008,512187392]
+[0,0,1,2,3,4,-2,-3,-4,-5,1000012,123,100,102,0,-1,17000,-1,0,3,118088000000,121110000000000]
+[0,0,1,2,3,4,-1,-2,-3,-4,1000012,123,100,102,0,0,17000,0,0,3,2123882496,511705088]
+[0,0,1,2,3,4,-1,-2,-3,-4,1000012,123,100,102,0,0,17000,0,0,3,118087999488,121109999517696]
+[0,0,1,2,3,4,-1,-2,-3,-4,1000012,123,100,102,0,0,17000,0,0,3,2123883008,512187392]
+[0,0,1,2,3,4,-1,-2,-3,-4,1000012,123,100,102,0,0,17000,0,0,3,118088000000,121110000000000]
+[0,0,1,3,4,4,-1,-3,-4,-4,1000012,123,100,102,0,0,17000,0,0,3,118087999488,121109999517696]
+[0,0,1,3,4,4,-1,-3,-4,-4,1000012,123,100,102,0,0,17000,0,0,3,2123883008,512187392]
+[0,0,1,3,4,4,-1,-3,-4,-4,1000012,123,100,102,0,0,17000,0,0,3,118088000000,121110000000000]
+[(0,0.0),(0,0.0),(1,0.100000024),(2,0.79999995),(3,0.5),(4,0.5),(-1,0.0),(-2,-0.9999995),(-3,-0.5),(-4,-0.5),(1000012,0.0),(123,0.45600128),(100,0.25),(102,0.5),(0,1.2e-3),(0,-1.2e-7),(17000,0.0),(0,-1.7e-4),(0,1.5e-7),(3,0.14159274),(2123882496,0.0),(511705088,0.0)]
+[(0,0.0),(0,0.0),(1,0.100000024),(2,0.79999995),(3,0.5),(4,0.5),(-1,0.0),(-2,-0.9999995),(-3,-0.5),(-4,-0.5),(1000012,0.0),(123,0.45600128),(100,0.25),(102,0.5),(0,1.2e-3),(0,-1.2e-7),(17000,0.0),(0,-1.7e-4),(0,1.5e-7),(3,0.14159274),(118087999488,0.0),(121109999517696,0.0)]
+(0,0.0)
--!!! test simple Integer things
--
-main
- = putStr (shows integer_list "\n")
- where
+
+f x y z = x y z
+
+main = do
+ putStr (shows integer_list "\n")
+ where
int_list :: [Int]
integer_list :: [Integer]
-2222222222222222222222222222222222222,
-3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333
])
+
-[2, 6, 10, 14, 18, 22222222222222222222222222222, 4444444444444444444444444444444444444, 6666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666, -22222222222222222222222222222, -4444444444444444444444444444444444444, -6666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666]
+[2,6,10,14,18,22222222222222222222222222222,4444444444444444444444444444444444444,6666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666,-22222222222222222222222222222,-4444444444444444444444444444444444444,-6666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666]
--!!! a random test from Nick North
-- (got this in mid-1993; don't remember why. WDP 95/02)
--
+
random_numbers :: (Int, Int, Int) -> [Float]
random_numbers (s1,s2,s3)
= map (snd . properFraction . combine) (iterate f (s1,s2,s3))
((171*a) `mod` 30269, (172*b) `mod` 30307, (170*c) `mod` 30323)
-- partain: changed to cvt spaces into newlines (easier to see bugs)
+-- sof: define approp. version of showList to do this.
+main = putStr (showL (showsPrec 0) (take 1000 (random_numbers (9807, 65, 32975))) "\n")
-main = putStr (map cvt (shows (take 1000 (random_numbers (9807, 65, 32975))) "\n"))
+showL showx [] = showString "[]"
+showL showx (x:xs) = showChar '[' . showx x . showl xs
where
- cvt ' ' = '\n'
- cvt c = c
+ showl [] = showChar ']'
+ showl (x:xs) = showString ",\n" . showx x . showl xs
-[1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
+[1,2,3,4,5,6,7,8,9,10]
[]
-[1, 3, 5, 7, 9]
-[10, 8, 6, 4, 2]
+[1,3,5,7,9]
+[10,8,6,4,2]
"abcdef"
""
"acegikm"
--Testing Int8
--------------------------------
testBounded
-(127, -128, -127)
-(126, 127, -128)
+(127,-128,-127)
+(126,127,-128)
testEnum
-[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
-[0, 2, 4, 6, 8, 10, 12, 14, 16, 18]
-[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20]
-[0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20]
+[0,1,2,3,4,5,6,7,8,9]
+[0,2,4,6,8,10,12,14,16,18]
+[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]
+[0,2,4,6,8,10,12,14,16,18,20]
testReadShow
-[-3, -2, -1, 0, 1, 2, 3]
-[-3, -2, -1, 0, 1, 2, 3]
+[-3,-2,-1,0,1,2,3]
+[-3,-2,-1,0,1,2,3]
testEq
-3 == -3 = True
-3 == -2 = False
toRational 3 = 3 % 1
#
testIntegral
--3 `divMod` -3 = (1, 0)
--3 `divMod` -2 = (1, -1)
--3 `divMod` -1 = (3, 0)
--3 `divMod` 1 = (-3, 0)
--3 `divMod` 2 = (-2, 1)
--3 `divMod` 3 = (-1, 0)
-
--2 `divMod` -3 = (0, -2)
--2 `divMod` -2 = (1, 0)
--2 `divMod` -1 = (2, 0)
--2 `divMod` 1 = (-2, 0)
--2 `divMod` 2 = (-1, 0)
--2 `divMod` 3 = (-1, 1)
-
--1 `divMod` -3 = (0, -1)
--1 `divMod` -2 = (0, -1)
--1 `divMod` -1 = (1, 0)
--1 `divMod` 1 = (-1, 0)
--1 `divMod` 2 = (-1, 1)
--1 `divMod` 3 = (-1, 2)
-
-0 `divMod` -3 = (0, 0)
-0 `divMod` -2 = (0, 0)
-0 `divMod` -1 = (0, 0)
-0 `divMod` 1 = (0, 0)
-0 `divMod` 2 = (0, 0)
-0 `divMod` 3 = (0, 0)
-
-1 `divMod` -3 = (-1, -2)
-1 `divMod` -2 = (-1, -1)
-1 `divMod` -1 = (-1, 0)
-1 `divMod` 1 = (1, 0)
-1 `divMod` 2 = (0, 1)
-1 `divMod` 3 = (0, 1)
-
-2 `divMod` -3 = (-1, -1)
-2 `divMod` -2 = (-1, 0)
-2 `divMod` -1 = (-2, 0)
-2 `divMod` 1 = (2, 0)
-2 `divMod` 2 = (1, 0)
-2 `divMod` 3 = (0, 2)
-
-3 `divMod` -3 = (-1, 0)
-3 `divMod` -2 = (-2, -1)
-3 `divMod` -1 = (-3, 0)
-3 `divMod` 1 = (3, 0)
-3 `divMod` 2 = (1, 1)
-3 `divMod` 3 = (1, 0)
+-3 `divMod` -3 = (1,0)
+-3 `divMod` -2 = (1,-1)
+-3 `divMod` -1 = (3,0)
+-3 `divMod` 1 = (-3,0)
+-3 `divMod` 2 = (-2,1)
+-3 `divMod` 3 = (-1,0)
+
+-2 `divMod` -3 = (0,-2)
+-2 `divMod` -2 = (1,0)
+-2 `divMod` -1 = (2,0)
+-2 `divMod` 1 = (-2,0)
+-2 `divMod` 2 = (-1,0)
+-2 `divMod` 3 = (-1,1)
+
+-1 `divMod` -3 = (0,-1)
+-1 `divMod` -2 = (0,-1)
+-1 `divMod` -1 = (1,0)
+-1 `divMod` 1 = (-1,0)
+-1 `divMod` 2 = (-1,1)
+-1 `divMod` 3 = (-1,2)
+
+0 `divMod` -3 = (0,0)
+0 `divMod` -2 = (0,0)
+0 `divMod` -1 = (0,0)
+0 `divMod` 1 = (0,0)
+0 `divMod` 2 = (0,0)
+0 `divMod` 3 = (0,0)
+
+1 `divMod` -3 = (-1,-2)
+1 `divMod` -2 = (-1,-1)
+1 `divMod` -1 = (-1,0)
+1 `divMod` 1 = (1,0)
+1 `divMod` 2 = (0,1)
+1 `divMod` 3 = (0,1)
+
+2 `divMod` -3 = (-1,-1)
+2 `divMod` -2 = (-1,0)
+2 `divMod` -1 = (-2,0)
+2 `divMod` 1 = (2,0)
+2 `divMod` 2 = (1,0)
+2 `divMod` 3 = (0,2)
+
+3 `divMod` -3 = (-1,0)
+3 `divMod` -2 = (-2,-1)
+3 `divMod` -1 = (-3,0)
+3 `divMod` 1 = (3,0)
+3 `divMod` 2 = (1,1)
+3 `divMod` 3 = (1,0)
#
-3 `div` -3 = 1
3 `mod` 3 = 0
#
--3 `quotRem` -3 = (1, 0)
--3 `quotRem` -2 = (1, -1)
--3 `quotRem` -1 = (3, 0)
--3 `quotRem` 1 = (-3, 0)
--3 `quotRem` 2 = (-1, -1)
--3 `quotRem` 3 = (-1, 0)
-
--2 `quotRem` -3 = (0, -2)
--2 `quotRem` -2 = (1, 0)
--2 `quotRem` -1 = (2, 0)
--2 `quotRem` 1 = (-2, 0)
--2 `quotRem` 2 = (-1, 0)
--2 `quotRem` 3 = (0, -2)
-
--1 `quotRem` -3 = (0, -1)
--1 `quotRem` -2 = (0, -1)
--1 `quotRem` -1 = (1, 0)
--1 `quotRem` 1 = (-1, 0)
--1 `quotRem` 2 = (0, -1)
--1 `quotRem` 3 = (0, -1)
-
-0 `quotRem` -3 = (0, 0)
-0 `quotRem` -2 = (0, 0)
-0 `quotRem` -1 = (0, 0)
-0 `quotRem` 1 = (0, 0)
-0 `quotRem` 2 = (0, 0)
-0 `quotRem` 3 = (0, 0)
-
-1 `quotRem` -3 = (0, 1)
-1 `quotRem` -2 = (0, 1)
-1 `quotRem` -1 = (-1, 0)
-1 `quotRem` 1 = (1, 0)
-1 `quotRem` 2 = (0, 1)
-1 `quotRem` 3 = (0, 1)
-
-2 `quotRem` -3 = (0, 2)
-2 `quotRem` -2 = (-1, 0)
-2 `quotRem` -1 = (-2, 0)
-2 `quotRem` 1 = (2, 0)
-2 `quotRem` 2 = (1, 0)
-2 `quotRem` 3 = (0, 2)
-
-3 `quotRem` -3 = (-1, 0)
-3 `quotRem` -2 = (-1, 1)
-3 `quotRem` -1 = (-3, 0)
-3 `quotRem` 1 = (3, 0)
-3 `quotRem` 2 = (1, 1)
-3 `quotRem` 3 = (1, 0)
+-3 `quotRem` -3 = (1,0)
+-3 `quotRem` -2 = (1,-1)
+-3 `quotRem` -1 = (3,0)
+-3 `quotRem` 1 = (-3,0)
+-3 `quotRem` 2 = (-1,-1)
+-3 `quotRem` 3 = (-1,0)
+
+-2 `quotRem` -3 = (0,-2)
+-2 `quotRem` -2 = (1,0)
+-2 `quotRem` -1 = (2,0)
+-2 `quotRem` 1 = (-2,0)
+-2 `quotRem` 2 = (-1,0)
+-2 `quotRem` 3 = (0,-2)
+
+-1 `quotRem` -3 = (0,-1)
+-1 `quotRem` -2 = (0,-1)
+-1 `quotRem` -1 = (1,0)
+-1 `quotRem` 1 = (-1,0)
+-1 `quotRem` 2 = (0,-1)
+-1 `quotRem` 3 = (0,-1)
+
+0 `quotRem` -3 = (0,0)
+0 `quotRem` -2 = (0,0)
+0 `quotRem` -1 = (0,0)
+0 `quotRem` 1 = (0,0)
+0 `quotRem` 2 = (0,0)
+0 `quotRem` 3 = (0,0)
+
+1 `quotRem` -3 = (0,1)
+1 `quotRem` -2 = (0,1)
+1 `quotRem` -1 = (-1,0)
+1 `quotRem` 1 = (1,0)
+1 `quotRem` 2 = (0,1)
+1 `quotRem` 3 = (0,1)
+
+2 `quotRem` -3 = (0,2)
+2 `quotRem` -2 = (-1,0)
+2 `quotRem` -1 = (-2,0)
+2 `quotRem` 1 = (2,0)
+2 `quotRem` 2 = (1,0)
+2 `quotRem` 3 = (0,2)
+
+3 `quotRem` -3 = (-1,0)
+3 `quotRem` -2 = (-1,1)
+3 `quotRem` -1 = (-3,0)
+3 `quotRem` 1 = (3,0)
+3 `quotRem` 2 = (1,1)
+3 `quotRem` 3 = (1,0)
#
-3 `quot` -3 = 1
--Testing Int16
--------------------------------
testBounded
-(32767, -32768, -32767)
-(32766, 32767, -32768)
+(32767,-32768,-32767)
+(32766,32767,-32768)
testEnum
-[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
-[0, 2, 4, 6, 8, 10, 12, 14, 16, 18]
-[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20]
-[0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20]
+[0,1,2,3,4,5,6,7,8,9]
+[0,2,4,6,8,10,12,14,16,18]
+[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]
+[0,2,4,6,8,10,12,14,16,18,20]
testReadShow
-[-3, -2, -1, 0, 1, 2, 3]
-[-3, -2, -1, 0, 1, 2, 3]
+[-3,-2,-1,0,1,2,3]
+[-3,-2,-1,0,1,2,3]
testEq
-3 == -3 = True
-3 == -2 = False
toRational 3 = 3 % 1
#
testIntegral
--3 `divMod` -3 = (1, 0)
--3 `divMod` -2 = (1, -1)
--3 `divMod` -1 = (3, 0)
--3 `divMod` 1 = (-3, 0)
--3 `divMod` 2 = (-2, 1)
--3 `divMod` 3 = (-1, 0)
-
--2 `divMod` -3 = (0, -2)
--2 `divMod` -2 = (1, 0)
--2 `divMod` -1 = (2, 0)
--2 `divMod` 1 = (-2, 0)
--2 `divMod` 2 = (-1, 0)
--2 `divMod` 3 = (-1, 1)
-
--1 `divMod` -3 = (0, -1)
--1 `divMod` -2 = (0, -1)
--1 `divMod` -1 = (1, 0)
--1 `divMod` 1 = (-1, 0)
--1 `divMod` 2 = (-1, 1)
--1 `divMod` 3 = (-1, 2)
-
-0 `divMod` -3 = (0, 0)
-0 `divMod` -2 = (0, 0)
-0 `divMod` -1 = (0, 0)
-0 `divMod` 1 = (0, 0)
-0 `divMod` 2 = (0, 0)
-0 `divMod` 3 = (0, 0)
-
-1 `divMod` -3 = (-1, -2)
-1 `divMod` -2 = (-1, -1)
-1 `divMod` -1 = (-1, 0)
-1 `divMod` 1 = (1, 0)
-1 `divMod` 2 = (0, 1)
-1 `divMod` 3 = (0, 1)
-
-2 `divMod` -3 = (-1, -1)
-2 `divMod` -2 = (-1, 0)
-2 `divMod` -1 = (-2, 0)
-2 `divMod` 1 = (2, 0)
-2 `divMod` 2 = (1, 0)
-2 `divMod` 3 = (0, 2)
-
-3 `divMod` -3 = (-1, 0)
-3 `divMod` -2 = (-2, -1)
-3 `divMod` -1 = (-3, 0)
-3 `divMod` 1 = (3, 0)
-3 `divMod` 2 = (1, 1)
-3 `divMod` 3 = (1, 0)
+-3 `divMod` -3 = (1,0)
+-3 `divMod` -2 = (1,-1)
+-3 `divMod` -1 = (3,0)
+-3 `divMod` 1 = (-3,0)
+-3 `divMod` 2 = (-2,1)
+-3 `divMod` 3 = (-1,0)
+
+-2 `divMod` -3 = (0,-2)
+-2 `divMod` -2 = (1,0)
+-2 `divMod` -1 = (2,0)
+-2 `divMod` 1 = (-2,0)
+-2 `divMod` 2 = (-1,0)
+-2 `divMod` 3 = (-1,1)
+
+-1 `divMod` -3 = (0,-1)
+-1 `divMod` -2 = (0,-1)
+-1 `divMod` -1 = (1,0)
+-1 `divMod` 1 = (-1,0)
+-1 `divMod` 2 = (-1,1)
+-1 `divMod` 3 = (-1,2)
+
+0 `divMod` -3 = (0,0)
+0 `divMod` -2 = (0,0)
+0 `divMod` -1 = (0,0)
+0 `divMod` 1 = (0,0)
+0 `divMod` 2 = (0,0)
+0 `divMod` 3 = (0,0)
+
+1 `divMod` -3 = (-1,-2)
+1 `divMod` -2 = (-1,-1)
+1 `divMod` -1 = (-1,0)
+1 `divMod` 1 = (1,0)
+1 `divMod` 2 = (0,1)
+1 `divMod` 3 = (0,1)
+
+2 `divMod` -3 = (-1,-1)
+2 `divMod` -2 = (-1,0)
+2 `divMod` -1 = (-2,0)
+2 `divMod` 1 = (2,0)
+2 `divMod` 2 = (1,0)
+2 `divMod` 3 = (0,2)
+
+3 `divMod` -3 = (-1,0)
+3 `divMod` -2 = (-2,-1)
+3 `divMod` -1 = (-3,0)
+3 `divMod` 1 = (3,0)
+3 `divMod` 2 = (1,1)
+3 `divMod` 3 = (1,0)
#
-3 `div` -3 = 1
3 `mod` 3 = 0
#
--3 `quotRem` -3 = (1, 0)
--3 `quotRem` -2 = (1, -1)
--3 `quotRem` -1 = (3, 0)
--3 `quotRem` 1 = (-3, 0)
--3 `quotRem` 2 = (-1, -1)
--3 `quotRem` 3 = (-1, 0)
-
--2 `quotRem` -3 = (0, -2)
--2 `quotRem` -2 = (1, 0)
--2 `quotRem` -1 = (2, 0)
--2 `quotRem` 1 = (-2, 0)
--2 `quotRem` 2 = (-1, 0)
--2 `quotRem` 3 = (0, -2)
-
--1 `quotRem` -3 = (0, -1)
--1 `quotRem` -2 = (0, -1)
--1 `quotRem` -1 = (1, 0)
--1 `quotRem` 1 = (-1, 0)
--1 `quotRem` 2 = (0, -1)
--1 `quotRem` 3 = (0, -1)
-
-0 `quotRem` -3 = (0, 0)
-0 `quotRem` -2 = (0, 0)
-0 `quotRem` -1 = (0, 0)
-0 `quotRem` 1 = (0, 0)
-0 `quotRem` 2 = (0, 0)
-0 `quotRem` 3 = (0, 0)
-
-1 `quotRem` -3 = (0, 1)
-1 `quotRem` -2 = (0, 1)
-1 `quotRem` -1 = (-1, 0)
-1 `quotRem` 1 = (1, 0)
-1 `quotRem` 2 = (0, 1)
-1 `quotRem` 3 = (0, 1)
-
-2 `quotRem` -3 = (0, 2)
-2 `quotRem` -2 = (-1, 0)
-2 `quotRem` -1 = (-2, 0)
-2 `quotRem` 1 = (2, 0)
-2 `quotRem` 2 = (1, 0)
-2 `quotRem` 3 = (0, 2)
-
-3 `quotRem` -3 = (-1, 0)
-3 `quotRem` -2 = (-1, 1)
-3 `quotRem` -1 = (-3, 0)
-3 `quotRem` 1 = (3, 0)
-3 `quotRem` 2 = (1, 1)
-3 `quotRem` 3 = (1, 0)
+-3 `quotRem` -3 = (1,0)
+-3 `quotRem` -2 = (1,-1)
+-3 `quotRem` -1 = (3,0)
+-3 `quotRem` 1 = (-3,0)
+-3 `quotRem` 2 = (-1,-1)
+-3 `quotRem` 3 = (-1,0)
+
+-2 `quotRem` -3 = (0,-2)
+-2 `quotRem` -2 = (1,0)
+-2 `quotRem` -1 = (2,0)
+-2 `quotRem` 1 = (-2,0)
+-2 `quotRem` 2 = (-1,0)
+-2 `quotRem` 3 = (0,-2)
+
+-1 `quotRem` -3 = (0,-1)
+-1 `quotRem` -2 = (0,-1)
+-1 `quotRem` -1 = (1,0)
+-1 `quotRem` 1 = (-1,0)
+-1 `quotRem` 2 = (0,-1)
+-1 `quotRem` 3 = (0,-1)
+
+0 `quotRem` -3 = (0,0)
+0 `quotRem` -2 = (0,0)
+0 `quotRem` -1 = (0,0)
+0 `quotRem` 1 = (0,0)
+0 `quotRem` 2 = (0,0)
+0 `quotRem` 3 = (0,0)
+
+1 `quotRem` -3 = (0,1)
+1 `quotRem` -2 = (0,1)
+1 `quotRem` -1 = (-1,0)
+1 `quotRem` 1 = (1,0)
+1 `quotRem` 2 = (0,1)
+1 `quotRem` 3 = (0,1)
+
+2 `quotRem` -3 = (0,2)
+2 `quotRem` -2 = (-1,0)
+2 `quotRem` -1 = (-2,0)
+2 `quotRem` 1 = (2,0)
+2 `quotRem` 2 = (1,0)
+2 `quotRem` 3 = (0,2)
+
+3 `quotRem` -3 = (-1,0)
+3 `quotRem` -2 = (-1,1)
+3 `quotRem` -1 = (-3,0)
+3 `quotRem` 1 = (3,0)
+3 `quotRem` 2 = (1,1)
+3 `quotRem` 3 = (1,0)
#
-3 `quot` -3 = 1
--Testing Int32
--------------------------------
testBounded
-(2147483647, -2147483648, -2147483647)
-(2147483646, 2147483647, -2147483648)
+(2147483647,-2147483648,-2147483647)
+(2147483646,2147483647,-2147483648)
testEnum
-[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
-[0, 2, 4, 6, 8, 10, 12, 14, 16, 18]
-[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20]
-[0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20]
+[0,1,2,3,4,5,6,7,8,9]
+[0,2,4,6,8,10,12,14,16,18]
+[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]
+[0,2,4,6,8,10,12,14,16,18,20]
testReadShow
-[-3, -2, -1, 0, 1, 2, 3]
-[-3, -2, -1, 0, 1, 2, 3]
+[-3,-2,-1,0,1,2,3]
+[-3,-2,-1,0,1,2,3]
testEq
-3 == -3 = True
-3 == -2 = False
toRational 3 = 3 % 1
#
testIntegral
--3 `divMod` -3 = (1, 0)
--3 `divMod` -2 = (1, -1)
--3 `divMod` -1 = (3, 0)
--3 `divMod` 1 = (-3, 0)
--3 `divMod` 2 = (-2, 1)
--3 `divMod` 3 = (-1, 0)
-
--2 `divMod` -3 = (0, -2)
--2 `divMod` -2 = (1, 0)
--2 `divMod` -1 = (2, 0)
--2 `divMod` 1 = (-2, 0)
--2 `divMod` 2 = (-1, 0)
--2 `divMod` 3 = (-1, 1)
-
--1 `divMod` -3 = (0, -1)
--1 `divMod` -2 = (0, -1)
--1 `divMod` -1 = (1, 0)
--1 `divMod` 1 = (-1, 0)
--1 `divMod` 2 = (-1, 1)
--1 `divMod` 3 = (-1, 2)
-
-0 `divMod` -3 = (0, 0)
-0 `divMod` -2 = (0, 0)
-0 `divMod` -1 = (0, 0)
-0 `divMod` 1 = (0, 0)
-0 `divMod` 2 = (0, 0)
-0 `divMod` 3 = (0, 0)
-
-1 `divMod` -3 = (-1, -2)
-1 `divMod` -2 = (-1, -1)
-1 `divMod` -1 = (-1, 0)
-1 `divMod` 1 = (1, 0)
-1 `divMod` 2 = (0, 1)
-1 `divMod` 3 = (0, 1)
-
-2 `divMod` -3 = (-1, -1)
-2 `divMod` -2 = (-1, 0)
-2 `divMod` -1 = (-2, 0)
-2 `divMod` 1 = (2, 0)
-2 `divMod` 2 = (1, 0)
-2 `divMod` 3 = (0, 2)
-
-3 `divMod` -3 = (-1, 0)
-3 `divMod` -2 = (-2, -1)
-3 `divMod` -1 = (-3, 0)
-3 `divMod` 1 = (3, 0)
-3 `divMod` 2 = (1, 1)
-3 `divMod` 3 = (1, 0)
+-3 `divMod` -3 = (1,0)
+-3 `divMod` -2 = (1,-1)
+-3 `divMod` -1 = (3,0)
+-3 `divMod` 1 = (-3,0)
+-3 `divMod` 2 = (-2,1)
+-3 `divMod` 3 = (-1,0)
+
+-2 `divMod` -3 = (0,-2)
+-2 `divMod` -2 = (1,0)
+-2 `divMod` -1 = (2,0)
+-2 `divMod` 1 = (-2,0)
+-2 `divMod` 2 = (-1,0)
+-2 `divMod` 3 = (-1,1)
+
+-1 `divMod` -3 = (0,-1)
+-1 `divMod` -2 = (0,-1)
+-1 `divMod` -1 = (1,0)
+-1 `divMod` 1 = (-1,0)
+-1 `divMod` 2 = (-1,1)
+-1 `divMod` 3 = (-1,2)
+
+0 `divMod` -3 = (0,0)
+0 `divMod` -2 = (0,0)
+0 `divMod` -1 = (0,0)
+0 `divMod` 1 = (0,0)
+0 `divMod` 2 = (0,0)
+0 `divMod` 3 = (0,0)
+
+1 `divMod` -3 = (-1,-2)
+1 `divMod` -2 = (-1,-1)
+1 `divMod` -1 = (-1,0)
+1 `divMod` 1 = (1,0)
+1 `divMod` 2 = (0,1)
+1 `divMod` 3 = (0,1)
+
+2 `divMod` -3 = (-1,-1)
+2 `divMod` -2 = (-1,0)
+2 `divMod` -1 = (-2,0)
+2 `divMod` 1 = (2,0)
+2 `divMod` 2 = (1,0)
+2 `divMod` 3 = (0,2)
+
+3 `divMod` -3 = (-1,0)
+3 `divMod` -2 = (-2,-1)
+3 `divMod` -1 = (-3,0)
+3 `divMod` 1 = (3,0)
+3 `divMod` 2 = (1,1)
+3 `divMod` 3 = (1,0)
#
-3 `div` -3 = 1
3 `mod` 3 = 0
#
--3 `quotRem` -3 = (1, 0)
--3 `quotRem` -2 = (1, -1)
--3 `quotRem` -1 = (3, 0)
--3 `quotRem` 1 = (-3, 0)
--3 `quotRem` 2 = (-1, -1)
--3 `quotRem` 3 = (-1, 0)
-
--2 `quotRem` -3 = (0, -2)
--2 `quotRem` -2 = (1, 0)
--2 `quotRem` -1 = (2, 0)
--2 `quotRem` 1 = (-2, 0)
--2 `quotRem` 2 = (-1, 0)
--2 `quotRem` 3 = (0, -2)
-
--1 `quotRem` -3 = (0, -1)
--1 `quotRem` -2 = (0, -1)
--1 `quotRem` -1 = (1, 0)
--1 `quotRem` 1 = (-1, 0)
--1 `quotRem` 2 = (0, -1)
--1 `quotRem` 3 = (0, -1)
-
-0 `quotRem` -3 = (0, 0)
-0 `quotRem` -2 = (0, 0)
-0 `quotRem` -1 = (0, 0)
-0 `quotRem` 1 = (0, 0)
-0 `quotRem` 2 = (0, 0)
-0 `quotRem` 3 = (0, 0)
-
-1 `quotRem` -3 = (0, 1)
-1 `quotRem` -2 = (0, 1)
-1 `quotRem` -1 = (-1, 0)
-1 `quotRem` 1 = (1, 0)
-1 `quotRem` 2 = (0, 1)
-1 `quotRem` 3 = (0, 1)
-
-2 `quotRem` -3 = (0, 2)
-2 `quotRem` -2 = (-1, 0)
-2 `quotRem` -1 = (-2, 0)
-2 `quotRem` 1 = (2, 0)
-2 `quotRem` 2 = (1, 0)
-2 `quotRem` 3 = (0, 2)
-
-3 `quotRem` -3 = (-1, 0)
-3 `quotRem` -2 = (-1, 1)
-3 `quotRem` -1 = (-3, 0)
-3 `quotRem` 1 = (3, 0)
-3 `quotRem` 2 = (1, 1)
-3 `quotRem` 3 = (1, 0)
+-3 `quotRem` -3 = (1,0)
+-3 `quotRem` -2 = (1,-1)
+-3 `quotRem` -1 = (3,0)
+-3 `quotRem` 1 = (-3,0)
+-3 `quotRem` 2 = (-1,-1)
+-3 `quotRem` 3 = (-1,0)
+
+-2 `quotRem` -3 = (0,-2)
+-2 `quotRem` -2 = (1,0)
+-2 `quotRem` -1 = (2,0)
+-2 `quotRem` 1 = (-2,0)
+-2 `quotRem` 2 = (-1,0)
+-2 `quotRem` 3 = (0,-2)
+
+-1 `quotRem` -3 = (0,-1)
+-1 `quotRem` -2 = (0,-1)
+-1 `quotRem` -1 = (1,0)
+-1 `quotRem` 1 = (-1,0)
+-1 `quotRem` 2 = (0,-1)
+-1 `quotRem` 3 = (0,-1)
+
+0 `quotRem` -3 = (0,0)
+0 `quotRem` -2 = (0,0)
+0 `quotRem` -1 = (0,0)
+0 `quotRem` 1 = (0,0)
+0 `quotRem` 2 = (0,0)
+0 `quotRem` 3 = (0,0)
+
+1 `quotRem` -3 = (0,1)
+1 `quotRem` -2 = (0,1)
+1 `quotRem` -1 = (-1,0)
+1 `quotRem` 1 = (1,0)
+1 `quotRem` 2 = (0,1)
+1 `quotRem` 3 = (0,1)
+
+2 `quotRem` -3 = (0,2)
+2 `quotRem` -2 = (-1,0)
+2 `quotRem` -1 = (-2,0)
+2 `quotRem` 1 = (2,0)
+2 `quotRem` 2 = (1,0)
+2 `quotRem` 3 = (0,2)
+
+3 `quotRem` -3 = (-1,0)
+3 `quotRem` -2 = (-1,1)
+3 `quotRem` -1 = (-3,0)
+3 `quotRem` 1 = (3,0)
+3 `quotRem` 2 = (1,1)
+3 `quotRem` 3 = (1,0)
#
-3 `quot` -3 = 1
--Testing Word8
--------------------------------
testBounded
-(255, 0, 1)
-(254, 255, 0)
+(255,0,1)
+(254,255,0)
testEnum
-[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
-[0, 2, 4, 6, 8, 10, 12, 14, 16, 18]
-[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20]
-[0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20]
+[0,1,2,3,4,5,6,7,8,9]
+[0,2,4,6,8,10,12,14,16,18]
+[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]
+[0,2,4,6,8,10,12,14,16,18,20]
testReadShow
-[253, 254, 255, 0, 1, 2, 3]
-[253, 254, 255, 0, 1, 2, 3]
+[253,254,255,0,1,2,3]
+[253,254,255,0,1,2,3]
testEq
253 == 253 = True
253 == 254 = False
toRational 3 = 3 % 1
#
testIntegral
-253 `divMod` 253 = (1, 0)
-253 `divMod` 254 = (0, 253)
-253 `divMod` 255 = (0, 253)
-253 `divMod` 1 = (253, 0)
-253 `divMod` 2 = (126, 1)
-253 `divMod` 3 = (84, 1)
-
-254 `divMod` 253 = (1, 1)
-254 `divMod` 254 = (1, 0)
-254 `divMod` 255 = (0, 254)
-254 `divMod` 1 = (254, 0)
-254 `divMod` 2 = (127, 0)
-254 `divMod` 3 = (84, 2)
-
-255 `divMod` 253 = (1, 2)
-255 `divMod` 254 = (1, 1)
-255 `divMod` 255 = (1, 0)
-255 `divMod` 1 = (255, 0)
-255 `divMod` 2 = (127, 1)
-255 `divMod` 3 = (85, 0)
-
-0 `divMod` 253 = (0, 0)
-0 `divMod` 254 = (0, 0)
-0 `divMod` 255 = (0, 0)
-0 `divMod` 1 = (0, 0)
-0 `divMod` 2 = (0, 0)
-0 `divMod` 3 = (0, 0)
-
-1 `divMod` 253 = (0, 1)
-1 `divMod` 254 = (0, 1)
-1 `divMod` 255 = (0, 1)
-1 `divMod` 1 = (1, 0)
-1 `divMod` 2 = (0, 1)
-1 `divMod` 3 = (0, 1)
-
-2 `divMod` 253 = (0, 2)
-2 `divMod` 254 = (0, 2)
-2 `divMod` 255 = (0, 2)
-2 `divMod` 1 = (2, 0)
-2 `divMod` 2 = (1, 0)
-2 `divMod` 3 = (0, 2)
-
-3 `divMod` 253 = (0, 3)
-3 `divMod` 254 = (0, 3)
-3 `divMod` 255 = (0, 3)
-3 `divMod` 1 = (3, 0)
-3 `divMod` 2 = (1, 1)
-3 `divMod` 3 = (1, 0)
+253 `divMod` 253 = (1,0)
+253 `divMod` 254 = (0,253)
+253 `divMod` 255 = (0,253)
+253 `divMod` 1 = (253,0)
+253 `divMod` 2 = (126,1)
+253 `divMod` 3 = (84,1)
+
+254 `divMod` 253 = (1,1)
+254 `divMod` 254 = (1,0)
+254 `divMod` 255 = (0,254)
+254 `divMod` 1 = (254,0)
+254 `divMod` 2 = (127,0)
+254 `divMod` 3 = (84,2)
+
+255 `divMod` 253 = (1,2)
+255 `divMod` 254 = (1,1)
+255 `divMod` 255 = (1,0)
+255 `divMod` 1 = (255,0)
+255 `divMod` 2 = (127,1)
+255 `divMod` 3 = (85,0)
+
+0 `divMod` 253 = (0,0)
+0 `divMod` 254 = (0,0)
+0 `divMod` 255 = (0,0)
+0 `divMod` 1 = (0,0)
+0 `divMod` 2 = (0,0)
+0 `divMod` 3 = (0,0)
+
+1 `divMod` 253 = (0,1)
+1 `divMod` 254 = (0,1)
+1 `divMod` 255 = (0,1)
+1 `divMod` 1 = (1,0)
+1 `divMod` 2 = (0,1)
+1 `divMod` 3 = (0,1)
+
+2 `divMod` 253 = (0,2)
+2 `divMod` 254 = (0,2)
+2 `divMod` 255 = (0,2)
+2 `divMod` 1 = (2,0)
+2 `divMod` 2 = (1,0)
+2 `divMod` 3 = (0,2)
+
+3 `divMod` 253 = (0,3)
+3 `divMod` 254 = (0,3)
+3 `divMod` 255 = (0,3)
+3 `divMod` 1 = (3,0)
+3 `divMod` 2 = (1,1)
+3 `divMod` 3 = (1,0)
#
253 `div` 253 = 1
3 `mod` 3 = 0
#
-253 `quotRem` 253 = (1, 0)
-253 `quotRem` 254 = (0, 253)
-253 `quotRem` 255 = (0, 253)
-253 `quotRem` 1 = (253, 0)
-253 `quotRem` 2 = (126, 1)
-253 `quotRem` 3 = (84, 1)
-
-254 `quotRem` 253 = (1, 1)
-254 `quotRem` 254 = (1, 0)
-254 `quotRem` 255 = (0, 254)
-254 `quotRem` 1 = (254, 0)
-254 `quotRem` 2 = (127, 0)
-254 `quotRem` 3 = (84, 2)
-
-255 `quotRem` 253 = (1, 2)
-255 `quotRem` 254 = (1, 1)
-255 `quotRem` 255 = (1, 0)
-255 `quotRem` 1 = (255, 0)
-255 `quotRem` 2 = (127, 1)
-255 `quotRem` 3 = (85, 0)
-
-0 `quotRem` 253 = (0, 0)
-0 `quotRem` 254 = (0, 0)
-0 `quotRem` 255 = (0, 0)
-0 `quotRem` 1 = (0, 0)
-0 `quotRem` 2 = (0, 0)
-0 `quotRem` 3 = (0, 0)
-
-1 `quotRem` 253 = (0, 1)
-1 `quotRem` 254 = (0, 1)
-1 `quotRem` 255 = (0, 1)
-1 `quotRem` 1 = (1, 0)
-1 `quotRem` 2 = (0, 1)
-1 `quotRem` 3 = (0, 1)
-
-2 `quotRem` 253 = (0, 2)
-2 `quotRem` 254 = (0, 2)
-2 `quotRem` 255 = (0, 2)
-2 `quotRem` 1 = (2, 0)
-2 `quotRem` 2 = (1, 0)
-2 `quotRem` 3 = (0, 2)
-
-3 `quotRem` 253 = (0, 3)
-3 `quotRem` 254 = (0, 3)
-3 `quotRem` 255 = (0, 3)
-3 `quotRem` 1 = (3, 0)
-3 `quotRem` 2 = (1, 1)
-3 `quotRem` 3 = (1, 0)
+253 `quotRem` 253 = (1,0)
+253 `quotRem` 254 = (0,253)
+253 `quotRem` 255 = (0,253)
+253 `quotRem` 1 = (253,0)
+253 `quotRem` 2 = (126,1)
+253 `quotRem` 3 = (84,1)
+
+254 `quotRem` 253 = (1,1)
+254 `quotRem` 254 = (1,0)
+254 `quotRem` 255 = (0,254)
+254 `quotRem` 1 = (254,0)
+254 `quotRem` 2 = (127,0)
+254 `quotRem` 3 = (84,2)
+
+255 `quotRem` 253 = (1,2)
+255 `quotRem` 254 = (1,1)
+255 `quotRem` 255 = (1,0)
+255 `quotRem` 1 = (255,0)
+255 `quotRem` 2 = (127,1)
+255 `quotRem` 3 = (85,0)
+
+0 `quotRem` 253 = (0,0)
+0 `quotRem` 254 = (0,0)
+0 `quotRem` 255 = (0,0)
+0 `quotRem` 1 = (0,0)
+0 `quotRem` 2 = (0,0)
+0 `quotRem` 3 = (0,0)
+
+1 `quotRem` 253 = (0,1)
+1 `quotRem` 254 = (0,1)
+1 `quotRem` 255 = (0,1)
+1 `quotRem` 1 = (1,0)
+1 `quotRem` 2 = (0,1)
+1 `quotRem` 3 = (0,1)
+
+2 `quotRem` 253 = (0,2)
+2 `quotRem` 254 = (0,2)
+2 `quotRem` 255 = (0,2)
+2 `quotRem` 1 = (2,0)
+2 `quotRem` 2 = (1,0)
+2 `quotRem` 3 = (0,2)
+
+3 `quotRem` 253 = (0,3)
+3 `quotRem` 254 = (0,3)
+3 `quotRem` 255 = (0,3)
+3 `quotRem` 1 = (3,0)
+3 `quotRem` 2 = (1,1)
+3 `quotRem` 3 = (1,0)
#
253 `quot` 253 = 1
--Testing Word16
--------------------------------
testBounded
-(65535, 0, 1)
-(65534, 65535, 0)
+(65535,0,1)
+(65534,65535,0)
testEnum
-[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
-[0, 2, 4, 6, 8, 10, 12, 14, 16, 18]
-[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20]
-[0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20]
+[0,1,2,3,4,5,6,7,8,9]
+[0,2,4,6,8,10,12,14,16,18]
+[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]
+[0,2,4,6,8,10,12,14,16,18,20]
testReadShow
-[65533, 65534, 65535, 0, 1, 2, 3]
-[65533, 65534, 65535, 0, 1, 2, 3]
+[65533,65534,65535,0,1,2,3]
+[65533,65534,65535,0,1,2,3]
testEq
65533 == 65533 = True
65533 == 65534 = False
toRational 3 = 3 % 1
#
testIntegral
-65533 `divMod` 65533 = (1, 0)
-65533 `divMod` 65534 = (0, 65533)
-65533 `divMod` 65535 = (0, 65533)
-65533 `divMod` 1 = (65533, 0)
-65533 `divMod` 2 = (32766, 1)
-65533 `divMod` 3 = (21844, 1)
-
-65534 `divMod` 65533 = (1, 1)
-65534 `divMod` 65534 = (1, 0)
-65534 `divMod` 65535 = (0, 65534)
-65534 `divMod` 1 = (65534, 0)
-65534 `divMod` 2 = (32767, 0)
-65534 `divMod` 3 = (21844, 2)
-
-65535 `divMod` 65533 = (1, 2)
-65535 `divMod` 65534 = (1, 1)
-65535 `divMod` 65535 = (1, 0)
-65535 `divMod` 1 = (65535, 0)
-65535 `divMod` 2 = (32767, 1)
-65535 `divMod` 3 = (21845, 0)
-
-0 `divMod` 65533 = (0, 0)
-0 `divMod` 65534 = (0, 0)
-0 `divMod` 65535 = (0, 0)
-0 `divMod` 1 = (0, 0)
-0 `divMod` 2 = (0, 0)
-0 `divMod` 3 = (0, 0)
-
-1 `divMod` 65533 = (0, 1)
-1 `divMod` 65534 = (0, 1)
-1 `divMod` 65535 = (0, 1)
-1 `divMod` 1 = (1, 0)
-1 `divMod` 2 = (0, 1)
-1 `divMod` 3 = (0, 1)
-
-2 `divMod` 65533 = (0, 2)
-2 `divMod` 65534 = (0, 2)
-2 `divMod` 65535 = (0, 2)
-2 `divMod` 1 = (2, 0)
-2 `divMod` 2 = (1, 0)
-2 `divMod` 3 = (0, 2)
-
-3 `divMod` 65533 = (0, 3)
-3 `divMod` 65534 = (0, 3)
-3 `divMod` 65535 = (0, 3)
-3 `divMod` 1 = (3, 0)
-3 `divMod` 2 = (1, 1)
-3 `divMod` 3 = (1, 0)
+65533 `divMod` 65533 = (1,0)
+65533 `divMod` 65534 = (0,65533)
+65533 `divMod` 65535 = (0,65533)
+65533 `divMod` 1 = (65533,0)
+65533 `divMod` 2 = (32766,1)
+65533 `divMod` 3 = (21844,1)
+
+65534 `divMod` 65533 = (1,1)
+65534 `divMod` 65534 = (1,0)
+65534 `divMod` 65535 = (0,65534)
+65534 `divMod` 1 = (65534,0)
+65534 `divMod` 2 = (32767,0)
+65534 `divMod` 3 = (21844,2)
+
+65535 `divMod` 65533 = (1,2)
+65535 `divMod` 65534 = (1,1)
+65535 `divMod` 65535 = (1,0)
+65535 `divMod` 1 = (65535,0)
+65535 `divMod` 2 = (32767,1)
+65535 `divMod` 3 = (21845,0)
+
+0 `divMod` 65533 = (0,0)
+0 `divMod` 65534 = (0,0)
+0 `divMod` 65535 = (0,0)
+0 `divMod` 1 = (0,0)
+0 `divMod` 2 = (0,0)
+0 `divMod` 3 = (0,0)
+
+1 `divMod` 65533 = (0,1)
+1 `divMod` 65534 = (0,1)
+1 `divMod` 65535 = (0,1)
+1 `divMod` 1 = (1,0)
+1 `divMod` 2 = (0,1)
+1 `divMod` 3 = (0,1)
+
+2 `divMod` 65533 = (0,2)
+2 `divMod` 65534 = (0,2)
+2 `divMod` 65535 = (0,2)
+2 `divMod` 1 = (2,0)
+2 `divMod` 2 = (1,0)
+2 `divMod` 3 = (0,2)
+
+3 `divMod` 65533 = (0,3)
+3 `divMod` 65534 = (0,3)
+3 `divMod` 65535 = (0,3)
+3 `divMod` 1 = (3,0)
+3 `divMod` 2 = (1,1)
+3 `divMod` 3 = (1,0)
#
65533 `div` 65533 = 1
3 `mod` 3 = 0
#
-65533 `quotRem` 65533 = (1, 0)
-65533 `quotRem` 65534 = (0, 65533)
-65533 `quotRem` 65535 = (0, 65533)
-65533 `quotRem` 1 = (65533, 0)
-65533 `quotRem` 2 = (32766, 1)
-65533 `quotRem` 3 = (21844, 1)
-
-65534 `quotRem` 65533 = (1, 1)
-65534 `quotRem` 65534 = (1, 0)
-65534 `quotRem` 65535 = (0, 65534)
-65534 `quotRem` 1 = (65534, 0)
-65534 `quotRem` 2 = (32767, 0)
-65534 `quotRem` 3 = (21844, 2)
-
-65535 `quotRem` 65533 = (1, 2)
-65535 `quotRem` 65534 = (1, 1)
-65535 `quotRem` 65535 = (1, 0)
-65535 `quotRem` 1 = (65535, 0)
-65535 `quotRem` 2 = (32767, 1)
-65535 `quotRem` 3 = (21845, 0)
-
-0 `quotRem` 65533 = (0, 0)
-0 `quotRem` 65534 = (0, 0)
-0 `quotRem` 65535 = (0, 0)
-0 `quotRem` 1 = (0, 0)
-0 `quotRem` 2 = (0, 0)
-0 `quotRem` 3 = (0, 0)
-
-1 `quotRem` 65533 = (0, 1)
-1 `quotRem` 65534 = (0, 1)
-1 `quotRem` 65535 = (0, 1)
-1 `quotRem` 1 = (1, 0)
-1 `quotRem` 2 = (0, 1)
-1 `quotRem` 3 = (0, 1)
-
-2 `quotRem` 65533 = (0, 2)
-2 `quotRem` 65534 = (0, 2)
-2 `quotRem` 65535 = (0, 2)
-2 `quotRem` 1 = (2, 0)
-2 `quotRem` 2 = (1, 0)
-2 `quotRem` 3 = (0, 2)
-
-3 `quotRem` 65533 = (0, 3)
-3 `quotRem` 65534 = (0, 3)
-3 `quotRem` 65535 = (0, 3)
-3 `quotRem` 1 = (3, 0)
-3 `quotRem` 2 = (1, 1)
-3 `quotRem` 3 = (1, 0)
+65533 `quotRem` 65533 = (1,0)
+65533 `quotRem` 65534 = (0,65533)
+65533 `quotRem` 65535 = (0,65533)
+65533 `quotRem` 1 = (65533,0)
+65533 `quotRem` 2 = (32766,1)
+65533 `quotRem` 3 = (21844,1)
+
+65534 `quotRem` 65533 = (1,1)
+65534 `quotRem` 65534 = (1,0)
+65534 `quotRem` 65535 = (0,65534)
+65534 `quotRem` 1 = (65534,0)
+65534 `quotRem` 2 = (32767,0)
+65534 `quotRem` 3 = (21844,2)
+
+65535 `quotRem` 65533 = (1,2)
+65535 `quotRem` 65534 = (1,1)
+65535 `quotRem` 65535 = (1,0)
+65535 `quotRem` 1 = (65535,0)
+65535 `quotRem` 2 = (32767,1)
+65535 `quotRem` 3 = (21845,0)
+
+0 `quotRem` 65533 = (0,0)
+0 `quotRem` 65534 = (0,0)
+0 `quotRem` 65535 = (0,0)
+0 `quotRem` 1 = (0,0)
+0 `quotRem` 2 = (0,0)
+0 `quotRem` 3 = (0,0)
+
+1 `quotRem` 65533 = (0,1)
+1 `quotRem` 65534 = (0,1)
+1 `quotRem` 65535 = (0,1)
+1 `quotRem` 1 = (1,0)
+1 `quotRem` 2 = (0,1)
+1 `quotRem` 3 = (0,1)
+
+2 `quotRem` 65533 = (0,2)
+2 `quotRem` 65534 = (0,2)
+2 `quotRem` 65535 = (0,2)
+2 `quotRem` 1 = (2,0)
+2 `quotRem` 2 = (1,0)
+2 `quotRem` 3 = (0,2)
+
+3 `quotRem` 65533 = (0,3)
+3 `quotRem` 65534 = (0,3)
+3 `quotRem` 65535 = (0,3)
+3 `quotRem` 1 = (3,0)
+3 `quotRem` 2 = (1,1)
+3 `quotRem` 3 = (1,0)
#
65533 `quot` 65533 = 1
--Testing Word32
--------------------------------
testBounded
-(4294967295, 0, 1)
-(4294967294, 4294967295, 0)
+(4294967295,0,1)
+(4294967294,4294967295,0)
testEnum
[]
[]
-[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20]
-[0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20]
+[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]
+[0,2,4,6,8,10,12,14,16,18,20]
testReadShow
-[4294967293, 4294967294, 4294967295, 0, 1, 2, 3]
-[4294967293, 4294967294, 4294967295, 0, 1, 2, 3]
+[4294967293,4294967294,4294967295,0,1,2,3]
+[4294967293,4294967294,4294967295,0,1,2,3]
testEq
4294967293 == 4294967293 = True
4294967293 == 4294967294 = False
toRational 3 = 3 % 1
#
testIntegral
-4294967293 `divMod` 4294967293 = (1, 0)
-4294967293 `divMod` 4294967294 = (0, 4294967293)
-4294967293 `divMod` 4294967295 = (0, 4294967293)
-4294967293 `divMod` 1 = (4294967293, 0)
-4294967293 `divMod` 2 = (2147483646, 1)
-4294967293 `divMod` 3 = (1431655764, 1)
-
-4294967294 `divMod` 4294967293 = (1, 1)
-4294967294 `divMod` 4294967294 = (1, 0)
-4294967294 `divMod` 4294967295 = (0, 4294967294)
-4294967294 `divMod` 1 = (4294967294, 0)
-4294967294 `divMod` 2 = (2147483647, 0)
-4294967294 `divMod` 3 = (1431655764, 2)
-
-4294967295 `divMod` 4294967293 = (1, 2)
-4294967295 `divMod` 4294967294 = (1, 1)
-4294967295 `divMod` 4294967295 = (1, 0)
-4294967295 `divMod` 1 = (4294967295, 0)
-4294967295 `divMod` 2 = (2147483647, 1)
-4294967295 `divMod` 3 = (1431655765, 0)
-
-0 `divMod` 4294967293 = (0, 0)
-0 `divMod` 4294967294 = (0, 0)
-0 `divMod` 4294967295 = (0, 0)
-0 `divMod` 1 = (0, 0)
-0 `divMod` 2 = (0, 0)
-0 `divMod` 3 = (0, 0)
-
-1 `divMod` 4294967293 = (0, 1)
-1 `divMod` 4294967294 = (0, 1)
-1 `divMod` 4294967295 = (0, 1)
-1 `divMod` 1 = (1, 0)
-1 `divMod` 2 = (0, 1)
-1 `divMod` 3 = (0, 1)
-
-2 `divMod` 4294967293 = (0, 2)
-2 `divMod` 4294967294 = (0, 2)
-2 `divMod` 4294967295 = (0, 2)
-2 `divMod` 1 = (2, 0)
-2 `divMod` 2 = (1, 0)
-2 `divMod` 3 = (0, 2)
-
-3 `divMod` 4294967293 = (0, 3)
-3 `divMod` 4294967294 = (0, 3)
-3 `divMod` 4294967295 = (0, 3)
-3 `divMod` 1 = (3, 0)
-3 `divMod` 2 = (1, 1)
-3 `divMod` 3 = (1, 0)
+4294967293 `divMod` 4294967293 = (1,0)
+4294967293 `divMod` 4294967294 = (0,4294967293)
+4294967293 `divMod` 4294967295 = (0,4294967293)
+4294967293 `divMod` 1 = (4294967293,0)
+4294967293 `divMod` 2 = (2147483646,1)
+4294967293 `divMod` 3 = (1431655764,1)
+
+4294967294 `divMod` 4294967293 = (1,1)
+4294967294 `divMod` 4294967294 = (1,0)
+4294967294 `divMod` 4294967295 = (0,4294967294)
+4294967294 `divMod` 1 = (4294967294,0)
+4294967294 `divMod` 2 = (2147483647,0)
+4294967294 `divMod` 3 = (1431655764,2)
+
+4294967295 `divMod` 4294967293 = (1,2)
+4294967295 `divMod` 4294967294 = (1,1)
+4294967295 `divMod` 4294967295 = (1,0)
+4294967295 `divMod` 1 = (4294967295,0)
+4294967295 `divMod` 2 = (2147483647,1)
+4294967295 `divMod` 3 = (1431655765,0)
+
+0 `divMod` 4294967293 = (0,0)
+0 `divMod` 4294967294 = (0,0)
+0 `divMod` 4294967295 = (0,0)
+0 `divMod` 1 = (0,0)
+0 `divMod` 2 = (0,0)
+0 `divMod` 3 = (0,0)
+
+1 `divMod` 4294967293 = (0,1)
+1 `divMod` 4294967294 = (0,1)
+1 `divMod` 4294967295 = (0,1)
+1 `divMod` 1 = (1,0)
+1 `divMod` 2 = (0,1)
+1 `divMod` 3 = (0,1)
+
+2 `divMod` 4294967293 = (0,2)
+2 `divMod` 4294967294 = (0,2)
+2 `divMod` 4294967295 = (0,2)
+2 `divMod` 1 = (2,0)
+2 `divMod` 2 = (1,0)
+2 `divMod` 3 = (0,2)
+
+3 `divMod` 4294967293 = (0,3)
+3 `divMod` 4294967294 = (0,3)
+3 `divMod` 4294967295 = (0,3)
+3 `divMod` 1 = (3,0)
+3 `divMod` 2 = (1,1)
+3 `divMod` 3 = (1,0)
#
4294967293 `div` 4294967293 = 1
3 `mod` 3 = 0
#
-4294967293 `quotRem` 4294967293 = (1, 0)
-4294967293 `quotRem` 4294967294 = (0, 4294967293)
-4294967293 `quotRem` 4294967295 = (0, 4294967293)
-4294967293 `quotRem` 1 = (4294967293, 0)
-4294967293 `quotRem` 2 = (2147483646, 1)
-4294967293 `quotRem` 3 = (1431655764, 1)
-
-4294967294 `quotRem` 4294967293 = (1, 1)
-4294967294 `quotRem` 4294967294 = (1, 0)
-4294967294 `quotRem` 4294967295 = (0, 4294967294)
-4294967294 `quotRem` 1 = (4294967294, 0)
-4294967294 `quotRem` 2 = (2147483647, 0)
-4294967294 `quotRem` 3 = (1431655764, 2)
-
-4294967295 `quotRem` 4294967293 = (1, 2)
-4294967295 `quotRem` 4294967294 = (1, 1)
-4294967295 `quotRem` 4294967295 = (1, 0)
-4294967295 `quotRem` 1 = (4294967295, 0)
-4294967295 `quotRem` 2 = (2147483647, 1)
-4294967295 `quotRem` 3 = (1431655765, 0)
-
-0 `quotRem` 4294967293 = (0, 0)
-0 `quotRem` 4294967294 = (0, 0)
-0 `quotRem` 4294967295 = (0, 0)
-0 `quotRem` 1 = (0, 0)
-0 `quotRem` 2 = (0, 0)
-0 `quotRem` 3 = (0, 0)
-
-1 `quotRem` 4294967293 = (0, 1)
-1 `quotRem` 4294967294 = (0, 1)
-1 `quotRem` 4294967295 = (0, 1)
-1 `quotRem` 1 = (1, 0)
-1 `quotRem` 2 = (0, 1)
-1 `quotRem` 3 = (0, 1)
-
-2 `quotRem` 4294967293 = (0, 2)
-2 `quotRem` 4294967294 = (0, 2)
-2 `quotRem` 4294967295 = (0, 2)
-2 `quotRem` 1 = (2, 0)
-2 `quotRem` 2 = (1, 0)
-2 `quotRem` 3 = (0, 2)
-
-3 `quotRem` 4294967293 = (0, 3)
-3 `quotRem` 4294967294 = (0, 3)
-3 `quotRem` 4294967295 = (0, 3)
-3 `quotRem` 1 = (3, 0)
-3 `quotRem` 2 = (1, 1)
-3 `quotRem` 3 = (1, 0)
+4294967293 `quotRem` 4294967293 = (1,0)
+4294967293 `quotRem` 4294967294 = (0,4294967293)
+4294967293 `quotRem` 4294967295 = (0,4294967293)
+4294967293 `quotRem` 1 = (4294967293,0)
+4294967293 `quotRem` 2 = (2147483646,1)
+4294967293 `quotRem` 3 = (1431655764,1)
+
+4294967294 `quotRem` 4294967293 = (1,1)
+4294967294 `quotRem` 4294967294 = (1,0)
+4294967294 `quotRem` 4294967295 = (0,4294967294)
+4294967294 `quotRem` 1 = (4294967294,0)
+4294967294 `quotRem` 2 = (2147483647,0)
+4294967294 `quotRem` 3 = (1431655764,2)
+
+4294967295 `quotRem` 4294967293 = (1,2)
+4294967295 `quotRem` 4294967294 = (1,1)
+4294967295 `quotRem` 4294967295 = (1,0)
+4294967295 `quotRem` 1 = (4294967295,0)
+4294967295 `quotRem` 2 = (2147483647,1)
+4294967295 `quotRem` 3 = (1431655765,0)
+
+0 `quotRem` 4294967293 = (0,0)
+0 `quotRem` 4294967294 = (0,0)
+0 `quotRem` 4294967295 = (0,0)
+0 `quotRem` 1 = (0,0)
+0 `quotRem` 2 = (0,0)
+0 `quotRem` 3 = (0,0)
+
+1 `quotRem` 4294967293 = (0,1)
+1 `quotRem` 4294967294 = (0,1)
+1 `quotRem` 4294967295 = (0,1)
+1 `quotRem` 1 = (1,0)
+1 `quotRem` 2 = (0,1)
+1 `quotRem` 3 = (0,1)
+
+2 `quotRem` 4294967293 = (0,2)
+2 `quotRem` 4294967294 = (0,2)
+2 `quotRem` 4294967295 = (0,2)
+2 `quotRem` 1 = (2,0)
+2 `quotRem` 2 = (1,0)
+2 `quotRem` 3 = (0,2)
+
+3 `quotRem` 4294967293 = (0,3)
+3 `quotRem` 4294967294 = (0,3)
+3 `quotRem` 4294967295 = (0,3)
+3 `quotRem` 1 = (3,0)
+3 `quotRem` 2 = (1,1)
+3 `quotRem` 3 = (1,0)
#
4294967293 `quot` 4294967293 = 1
showList' (x:xs) = showChar '[' . x $ showl xs ""
where
showl [] = showChar ']'
- showl (x:xs) = showString ", " . x . showl xs
+ showl (x:xs) = showChar ',' . x . showl xs
test_showOct :: IO ()
--------------------------------
--Testing doubleToFloat
--------------------------------
-[-1.2, 0.0, 0.1, 0.5, 1.0, 1234.45454, 16053.0, 1.64022e12, 6.894e-4, 6.345434556345822, 5.342413403405404e9]
-[-1.2, 0.0, 0.1, 0.5, 1.0, 1234.4546, 16053.0, 1.64022e12, 6.894e-4, 6.3454347, 5.3424133e9]
+[-1.2,0.0,0.1,0.5,1.0,1234.45454,16053.0,1.64022e12,6.894e-4,6.345434556345822,5.342413403405404e9]
+[-1.2,0.0,0.1,0.5,1.0,1234.4546,16053.0,1.64022e12,6.894e-4,6.3454347,5.3424133e9]
--------------------------------
--Testing doubleToFloat
--------------------------------
-[-1.2, 0.0, 0.1, 0.5, 1.0, 1234.45454, 16053.0, 1.64022e12, 6.894e-4, 6.345434556345822, 5.342413403405404e9]
-[-1.2, 0.0, 0.1, 0.5, 1.0, 1234.4546, 16053.0, 1.64022e12, 6.894e-4, 6.3454347, 5.3424133e9]
-[-1.2000000476837158, 0.0, 0.10000000149011612, 0.5, 1.0, 1234.45458984375, 16053.0, 1.64021993472e12, 6.894000107422471e-4, 6.345434665679932, 5.342413312e9]
+[-1.2,0.0,0.1,0.5,1.0,1234.45454,16053.0,1.64022e12,6.894e-4,6.345434556345822,5.342413403405404e9]
+[-1.2,0.0,0.1,0.5,1.0,1234.4546,16053.0,1.64022e12,6.894e-4,6.3454347,5.3424133e9]
+[-1.2000000476837158,0.0,0.10000000149011612,0.5,1.0,1234.45458984375,16053.0,1.64021993472e12,6.894000107422471e-4,6.345434665679932,5.342413312e9]
--------------------------------
--Testing showHex
--------------------------------
-[0, 1, 255, 65513, 6029, 1024, 256, 201357245]
-[0x0, 0x1, 0xff, 0xffe9, 0x178d, 0x400, 0x100, 0xc0077bd]
-[0, 1, 255, 65513, 6029, 1024, 256, 2343243543500233, 656194962055457832]
-[0x0, 0x1, 0xff, 0xffe9, 0x178d, 0x400, 0x100, 0x8532ae70855c9, 0x91b45d760b76c28]
+[0,1,255,65513,6029,1024,256,201357245]
+[0x0,0x1,0xff,0xffe9,0x178d,0x400,0x100,0xc0077bd]
+[0,1,255,65513,6029,1024,256,2343243543500233,656194962055457832]
+[0x0,0x1,0xff,0xffe9,0x178d,0x400,0x100,0x8532ae70855c9,0x91b45d760b76c28]
--------------------------------
--Testing showOct
--------------------------------
-[0, 1, 255, 65513, 6029, 1024, 256, 201357245]
-[0o0, 0o1, 0o377, 0o177751, 0o13615, 0o2000, 0o400, 0o1400073675]
-[0, 1, 255, 65513, 6029, 1024, 256, 2343243543500233, 656194962055457832]
-[0o0, 0o1, 0o377, 0o177751, 0o13615, 0o2000, 0o400, 0o102462534702052711, 0o44332135354055666050]
+[0,1,255,65513,6029,1024,256,201357245]
+[0o0,0o1,0o377,0o177751,0o13615,0o2000,0o400,0o1400073675]
+[0,1,255,65513,6029,1024,256,2343243543500233,656194962055457832]
+[0o0,0o1,0o377,0o177751,0o13615,0o2000,0o400,0o102462534702052711,0o44332135354055666050]