Fix TcSimplify.decideQuantification for kind variables
[ghc.git] / testsuite / tests / simplCore / should_compile / T3234.stderr
1
2 ==================== FloatOut stats: ====================
3 2 Lets floated to top level; 0 Lets floated elsewhere; from 1 Lambda groups
4
5
6
7 ==================== FloatOut stats: ====================
8 0 Lets floated to top level; 0 Lets floated elsewhere; from 0 Lambda groups
9
10
11
12 ==================== Grand total simplifier statistics ====================
13 Total ticks:     55
14
15 18 PreInlineUnconditionally
16   1 c
17   1 n
18   1 g
19   1 a
20   1 xs
21   1 ys
22   1 c
23   1 n
24   1 k
25   1 z
26   1 g
27   1 g
28   1 h
29   1 n
30   1 a
31   1 lvl
32   1 lvl
33   1 lvl
34 1 PostInlineUnconditionally 1 c
35 1 UnfoldingDone 1 GHC.Base.build
36 5 RuleFired
37   1 ++
38   1 augment/build
39   1 fold/build
40   1 unpack
41   1 unpack-list
42 5 LetFloatFromLet 5
43 25 BetaReduction
44   1 a
45   1 c
46   1 n
47   1 a
48   1 g
49   1 a
50   1 b
51   1 a
52   1 xs
53   1 ys
54   1 b
55   1 c
56   1 n
57   1 b
58   1 a
59   1 k
60   1 z
61   1 g
62   1 a
63   1 g
64   1 h
65   1 b
66   1 c
67   1 n
68   1 a
69 10 SimplifierDone 10
70
71