File: dynamic005.hs

package info (click to toggle)
ghc 9.10.3-3
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 169,076 kB
  • sloc: haskell: 713,554; ansic: 84,184; cpp: 30,255; javascript: 9,003; sh: 7,870; fortran: 3,527; python: 3,228; asm: 2,523; makefile: 2,324; yacc: 1,570; lisp: 532; xml: 196; perl: 111; csh: 2
file content (14 lines) | stat: -rw-r--r-- 402 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
module Main where

import Data.Typeable

f :: Typeable a => Int -> a -> [TypeRep]
f 0 a = []
f n a = typeOf a : f (n-1) [a]

-- pointwise compare 1000x1000 different TypeReps, there should be no equalities
-- (can be used as a benchmark)

main = print $ length [ t1 | t1 <- replicate 1000 (f 10 ()),
                             t2 <- replicate 1000 (f 10 'a'),
                             t1 == t2 ]