1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
module Main (main) where
import Data.Ix
main :: IO ()
main =
if 2^6 == rangeSize r6 && 2^7 == rangeSize r7 && 2^8 == rangeSize r8 &&
2^9 == rangeSize r9 && 2^10 == rangeSize r10 && 2^11 == rangeSize r11 &&
2^12 == rangeSize r12 && 2^13 == rangeSize r13 && 2^14 == rangeSize r14 &&
2^15 == rangeSize r15
then putStrLn "Success"
else putStrLn "Error in large tuple Ix instances"
where
r6 = ((0,0,0,0,0,0),(1,1,1,1,1,1))
r7 = ((0,0,0,0,0,0,0),(1,1,1,1,1,1,1))
r8 = ((0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1))
r9 = ((0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1))
r10 = ((0,0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1,1))
r11 = ((0,0,0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1,1,1))
r12 = ((0,0,0,0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1,1,1,1))
r13 = ((0,0,0,0,0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1,1,1,1,1))
r14 = ((0,0,0,0,0,0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1,1,1,1,1,1))
r15 = ((0,0,0,0,0,0,0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1))
|
