blob: fc78dad48d4bbbc151d1c97e196bc383139fb5cc (
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
|
***expensive e1 0
***expensive e1 0
***expensive e1 0
***expensive e1 0
***expensive e1 0
==================== IdInfo ====================
lvl_s1Fz :: GHC.Num.Integer :: [*
Str: DmdType]
lvl_s1Fv :: GHC.Num.Integer :: [*
Str: DmdType]
lvl_s1Fu :: GHC.Num.Integer :: [*
Str: DmdType]
fib_s1Fj :: GHC.Num.Integer -> GHC.Num.Integer :: [Arity 1
0 -> *
Str: DmdType S]
lvl_s1IP :: GHC.Num.Integer :: [*]
x_s1Fr :: GHC.Num.Integer :: [*
Str: DmdType]
lvl_s1IQ :: GHC.Num.Integer :: [*]
a_s1rF :: GHC.Num.Integer :: [*
Str: DmdType]
lvl_s1IR :: GHC.Num.Integer :: [*]
a_s1rE :: GHC.Num.Integer :: [*
Str: DmdType]
F11.f11 :: (GHC.Num.Integer, GHC.Num.Integer) :: [*
Str: DmdType m]
F11.f11f :: forall t_a1gd.
t_a1gd -> GHC.Num.Integer -> GHC.Num.Integer :: [Arity 2
T
Str: DmdType AS]
F11.fib :: forall a_a19x a_a1eN.
(GHC.Num.Num a_a1eN, GHC.Num.Num a_a19x) =>
a_a19x -> a_a1eN :: [Arity 2
0 -> 0 -> 0 -> *
Str: DmdType LL
RULES: "SPEC F11.fib" __forall {$dNum_X1Fo :: {GHC.Num.Num GHC.Num.Integer}
$dNum_X1Fq :: {GHC.Num.Num GHC.Num.Integer}}
F11.fib @ GHC.Num.Integer
@ GHC.Num.Integer
$dNum_X1Fo
$dNum_X1Fq
= fib_s1Fj ;]
|
