Pull recent Hadrian changes from upstream
[ghc.git] / testsuite / tests / typecheck / should_compile / syn-perf2.hs
1 -- Another type-synonym performance test
2 -- (Trac 323)
3 -- Fails in GHC up to 6.6
4
5 module ShouldCompile where
6
7 type S = Maybe
8 type S2 n = S (S n)
9 type S4 n = S2 (S2 n)
10 type S8 n = S4 (S4 n)
11 type S16 n = S8 (S8 n)
12 type S32 n = S16 (S16 n)
13
14 type N64 n = S32 (S32 n)
15
16 type N64' =
17 S ( S ( S ( S ( S ( S ( S ( S (
18 S ( S ( S ( S ( S ( S ( S ( S (
19 S ( S ( S ( S ( S ( S ( S ( S (
20 S ( S ( S ( S ( S ( S ( S ( S (
21 S ( S ( S ( S ( S ( S ( S ( S (
22 S ( S ( S ( S ( S ( S ( S ( S (
23 S ( S ( S ( S ( S ( S ( S ( S (
24 S ( S ( S ( S ( S ( S ( S ( S (
25 Int
26 ))))))))
27 ))))))))
28 ))))))))
29 ))))))))
30 ))))))))
31 ))))))))
32 ))))))))
33 ))))))))