blob: 2bdb17fa4abe6a29ce4f4f803d7825eadf813356 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
==================== FloatOut stats: ====================
1 Lets floated to top level; 0 Lets floated elsewhere; from 4 Lambda groups
==================== FloatOut stats: ====================
0 Lets floated to top level; 0 Lets floated elsewhere; from 3 Lambda groups
==================== Grand total simplifier statistics ====================
Total ticks: 11
2 PreInlineUnconditionally
1 f
1 lvl
1 UnfoldingDone
1 Roman.bar
1 RuleFired
1 foo/bar
7 BetaReduction
1 f
1 m
1 a
1 m
1 a
1 m
1 b
8 SimplifierDone
8
|