Fix some more tests on Win64
[packages/base.git] / tests / dynamic005.hs
1 module Main where
2
3 import Data.Typeable
4
5 f :: Typeable a => Int -> a -> [TypeRep]
6 f 0 a = []
7 f n a = typeOf a : f (n-1) [a]
8
9 -- pointwise compare 1000x1000 different TypeReps, there should be no equalities
10 -- (can be used as a benchmark)
11
12 main = print $ length [ t1 | t1 <- replicate 1000 (f 10 ()),
13 t2 <- replicate 1000 (f 10 'a'),
14 t1 == t2 ]