blob: 0bcf76151db68a9079a91da462d7bed96cf223e7 (
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 71, types: 45, coercions: 0, joins: 0/0}
foo0 = \ _ -> 16##
foo1 = \ _ -> 4##
foo2 = \ _ -> 11##
foo3 = foo0
foo0' = I# 16#
foo1' = I# 4#
foo2' = I# 11#
foo3' = foo0'
foo4' = I# 31#
ctz0 = \ _ -> 30##
ctz1 = \ _ -> 6##
ctz2 = \ _ -> 14##
ctz3 = ctz0
ctz0' = I# 30#
ctz1' = I# 6#
ctz2' = I# 14#
ctz3' = ctz0'
ctz4' = I# 62#
clz1 = \ _ -> 5##
clz2 = \ _ -> 13##
clz3 = \ _ -> 29##
clz1' = I# 5#
clz2' = I# 13#
clz3' = I# 29#
clz4' = I# 61#
|