Add back new working QSem and QSemN implementations (#7417)
[packages/base.git] / tests / dynamic003.hs
1 module Main where
2
3 -- Test generation of large TypeReps
4 -- (can be used as a benchmark)
5
6 import Data.Typeable
7
8 f :: Typeable a => Int -> a -> TypeRep
9 f 0 a = typeOf a
10 f n a = f (n-1) [a]
11
12 main = print (f 50000 () == f 50001 ())