rule2.stderr 542 Bytes
Newer Older
1 2

==================== FloatOut stats: ====================
3
1 Lets floated to top level; 0 Lets floated elsewhere; from 4 Lambda groups
4 5 6 7 8 9 10 11 12



==================== FloatOut stats: ====================
0 Lets floated to top level; 0 Lets floated elsewhere; from 3 Lambda groups



==================== Grand total simplifier statistics ====================
13
Total ticks:     11
14

15
2 PreInlineUnconditionally
dreixel's avatar
dreixel committed
16 17 18 19
  1 f
  1 lvl
1 UnfoldingDone 1 Roman.bar
1 RuleFired 1 foo/bar
20
7 BetaReduction
dreixel's avatar
dreixel committed
21 22 23 24 25
  1 f
  1 m
  1 a
  1 b
  1 m
26 27
  1 m
  1 a
dreixel's avatar
dreixel committed
28
8 SimplifierDone 8
29 30