Commit b08c2d15 authored by nx's avatar nx
Browse files

[project @ 2005-06-06 12:50:41 by nx]

-farity -ddump-idinfo is added for the compilation and the dumpped output is supposed to match .stderr
parent 85527acb
TOP=../../..
include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/test.mk
==================== IdInfo ====================
lvl_s1yb :: GHC.Base.Int :: [*
Str: DmdType m]
F0.f0 :: GHC.Base.Int
-> GHC.Base.Int
-> GHC.Base.Int
-> GHC.Base.Int :: [Arity 3
0 -> 0 -> 0 -> *
Str: DmdType U(L)LLm]
***Arity is changed: h1{v a19i} 3 2
==================== IdInfo ====================
lvl_s1AI :: GHC.Num.Integer -> GHC.Num.Integer :: [Arity 1
0 -> *
Str: DmdType S]
lit_a1hu :: GHC.Num.Integer :: [*
Str: DmdType]
lit_a1ho :: GHC.Num.Integer :: [*
Str: DmdType]
h1_a19i :: GHC.Num.Integer
-> GHC.Num.Integer
-> GHC.Num.Integer
-> GHC.Num.Integer :: [Arity 2
0 -> 0 -> 0 -> *
Str: DmdType SS]
F1.f1 :: GHC.Num.Integer :: [*
Str: DmdType]
***Arity is changed as occur many times: F10.f10f{v r155} 2 1
==================== IdInfo ====================
lit_s1Ll :: GHC.Num.Integer :: [*
Str: DmdType]
lit_s1Lj :: GHC.Num.Integer :: [*
Str: DmdType]
lit_s1Lh :: GHC.Num.Integer :: [*
Str: DmdType]
F10.f10g :: GHC.Num.Integer -> GHC.Num.Integer -> GHC.Num.Integer :: [Arity 2
*
Str: DmdType SS]
F10.f10f :: forall a_a1fu.
(GHC.Num.Integer -> GHC.Num.Integer -> a_a1fu)
-> (a_a1fu, GHC.Num.Integer -> a_a1fu) :: [Arity 1
1 -> *
Str: DmdType Lm]
F10.f10h :: (GHC.Num.Integer, GHC.Num.Integer -> GHC.Num.Integer) :: [*
Str: DmdType]
F10.f10x1 :: GHC.Num.Integer :: [*
Str: DmdType]
F10.f10x2 :: GHC.Num.Integer -> GHC.Num.Integer :: [*
Str: DmdType]
F10.f10 :: GHC.Num.Integer :: [*
Str: DmdType]
***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 ;]
==================== IdInfo ====================
lvl_s1Bx :: GHC.Num.Integer :: [*]
lvl_s1By :: GHC.Num.Integer :: [*]
F12.f12 :: GHC.Num.Integer :: [*
Str: DmdType]
***expensive e1 0
==================== IdInfo ====================
lvl_s1AR :: GHC.Num.Integer :: [*
Str: DmdType]
lvl_s1AQ :: GHC.Num.Integer :: [*
Str: DmdType]
F13.f13 :: forall a_a19A a_a1gc.
(GHC.Num.Num a_a19A,
GHC.Base.Ord a_a19A,
GHC.Num.Num a_a1gc,
GHC.Num.Num (a_a19A -> a_a1gc -> a_a1gc)) =>
a_a19A -> a_a1gc -> a_a1gc -> a_a1gc :: [Arity 6
0 -> 0 -> 0 -> 0 -> 0 -> 0 -> 0 -> *
Str: DmdType LLLLLL]
***expensive e1 0
***Arity is changed as occur many times: F14.f14{v r16A} 4 0
==================== IdInfo ====================
lvl_s1zz :: forall a_a19p. a_a19p -> a_a19p :: [Arity 1
0 -> *
Str: DmdType S]
lvl_s1zy :: GHC.Num.Integer :: [*
Str: DmdType]
$wf14_s1Ak :: forall a_a19p.
(a_a19p -> a_a19p -> GHC.Base.Bool)
-> {GHC.Num.Num a_a19p}
-> a_a19p
-> a_a19p
-> a_a19p
-> a_a19p :: [Arity 4
2 -> 0 -> 0 -> 0 -> 0 -> *
Str: DmdType C(C(S))LLL]
F14.f14 :: forall a_a19p.
(GHC.Base.Ord a_a19p, GHC.Num.Num a_a19p) =>
a_a19p -> a_a19p -> a_a19p -> a_a19p :: [Arity 4
T
Worker $wf14_s1Ak
Str: DmdType U(AAC(C(S))AAAAA)LLL]
==================== IdInfo ====================
lit_s1zs :: GHC.Num.Integer :: [*
Str: DmdType]
F15.f15f :: forall t_a1fm. (GHC.Num.Integer -> t_a1fm) -> t_a1fm :: [Arity 1
1 -> *
Str: DmdType C(S)]
F15.f15g :: GHC.Num.Integer -> GHC.Num.Integer :: [Arity 1
0 -> *
Str: DmdType S]
F15.f15 :: GHC.Num.Integer :: [*
Str: DmdType]
==================== IdInfo ====================
lit_s1Bh :: GHC.Num.Integer :: [*
Str: DmdType]
F2.f2f :: forall t_a19s t_a19u.
(t_a19u -> GHC.Num.Integer -> t_a19s) -> t_a19u -> t_a19s :: [Arity 2
2 -> 0 -> *
Str: DmdType C(C(S))L]
lit_a1i8 :: GHC.Num.Integer :: [*
Str: DmdType]
g_a1fp :: GHC.Num.Integer -> GHC.Num.Integer -> GHC.Num.Integer :: [Arity 2
0 -> 0 -> *
Str: DmdType SS]
lvl_s1DV :: GHC.Num.Integer :: [*]
F2.f2 :: GHC.Num.Integer :: [*
Str: DmdType]
***Arity is changed as occur many times: F3.f3{v r157} 1 0
==================== IdInfo ====================
$wfac_s1Bz :: GHC.Prim.Int# -> GHC.Prim.Int# :: [Arity 1
0 -> *
Str: DmdType L]
F3.fac :: GHC.Base.Int -> GHC.Base.Int :: [Arity 1
T
Worker $wfac_s1Bz
Str: DmdType U(L)m]
F3.f3 :: GHC.Base.Int -> GHC.Base.Int :: [Arity 1
T
Str: DmdType U(L)m]
***Arity is changed as occur many times: F4.f4h{v r155} 2 0
==================== IdInfo ====================
F4.f4g :: GHC.Base.Int -> GHC.Base.Int :: [Arity 1
0 -> *
Str: DmdType U(L)m]
lvl_s1Cq :: GHC.Base.Int :: [*]
$wf4h_s1C9 :: (GHC.Base.Int -> GHC.Base.Int)
-> GHC.Prim.Int#
-> GHC.Base.Int :: [Arity 2
0 -> 0 -> *
Str: DmdType C(S)L]
F4.f4h :: (GHC.Base.Int -> GHC.Base.Int)
-> GHC.Base.Int
-> GHC.Base.Int :: [Arity 2
T
Worker $wf4h_s1C9
Str: DmdType C(S)U(L)]
F4.f4 :: GHC.Base.Int :: [*
Str: DmdType]
==================== IdInfo ====================
lvl_s1B7 :: GHC.Num.Integer :: [*
Str: DmdType]
$sf5h_s1B2 :: forall t_a1gj.
(t_a1gj -> GHC.Num.Integer)
-> t_a1gj
-> (t_a1gj -> GHC.Num.Integer)
-> GHC.Num.Integer :: [Arity 3
1 -> 0 -> 1 -> *
Str: DmdType C(S)LC(S)]
$sf5g_s1B1 :: forall t_a1fy.
(t_a1fy -> GHC.Num.Integer) -> t_a1fy -> GHC.Num.Integer :: [Arity 2
1 -> 0 -> *
Str: DmdType C(S)L]
eta_s1or :: GHC.Num.Integer :: [*
Str: DmdType]
F5.f5h :: forall a_a1gd t_a1gj.
(GHC.Num.Num a_a1gd) =>
(t_a1gj -> a_a1gd) -> t_a1gj -> (t_a1gj -> a_a1gd) -> a_a1gd :: [Arity 4
0 -> 1 -> 0 -> 1 -> *
Str: DmdType U(AAC(C(S))AAAAAL)LLL
RULES: "SPEC F5.f5h" __forall {@ t_a1gj
$dNum_X1Bl :: {GHC.Num.Num GHC.Num.Integer}}
F5.f5h @ GHC.Num.Integer
@ t_a1gj
$dNum_X1Bl
= $sf5h_s1B2
@ t_a1gj ;]
F5.f5g :: forall t_a1fy a_a1fB.
(GHC.Num.Num a_a1fB) =>
(t_a1fy -> a_a1fB) -> t_a1fy -> a_a1fB :: [Arity 3
0 -> 1 -> 0 -> *
Str: DmdType U(AAC(C(S))AAAAAL)LL
RULES: "SPEC F5.f5g" __forall {@ t_a1fy
$dNum_X1Bk :: {GHC.Num.Num GHC.Num.Integer}}
F5.f5g @ t_a1fy @ GHC.Num.Integer $dNum_X1Bk
= $sf5g_s1B1 @ t_a1fy ;]
F5.f5y :: GHC.Num.Integer -> GHC.Num.Integer :: [Arity 1
0 -> *
Str: DmdType S]
lvl_s1DK :: GHC.Num.Integer :: [*]
lvl_s1DL :: GHC.Num.Integer :: [*]
F5.f5 :: GHC.Num.Integer :: [*
Str: DmdType]
==================== IdInfo ====================
lit_s1zR :: GHC.Num.Integer :: [*
Str: DmdType]
lvl_s1C2 :: GHC.Num.Integer :: [*]
F6.f6 :: GHC.Num.Integer :: [*
Str: DmdType]
F6.f6t :: GHC.Num.Integer -> GHC.Num.Integer -> GHC.Num.Integer :: [Arity 2
*
Str: DmdType SS]
F6.f6f :: forall t_a1fp t_a1fr.
(t_a1fr -> GHC.Num.Integer -> t_a1fp) -> t_a1fr -> t_a1fp :: [Arity 2
2 -> 0 -> *
Str: DmdType C(C(S))L]
==================== IdInfo ====================
lvl_s1BI :: GHC.Num.Integer :: [*]
lvl_s1BJ :: GHC.Num.Integer :: [*]
F7.f7 :: GHC.Num.Integer :: [*
Str: DmdType]
F7.f7g :: GHC.Num.Integer -> GHC.Num.Integer -> GHC.Num.Integer :: [Arity 2
*
Str: DmdType SS]
F7.f7f :: forall t_a1fh. t_a1fh -> t_a1fh :: [Arity 1
0 -> *
Str: DmdType S]
==================== IdInfo ====================
$sf8f_s1zR :: GHC.Base.Bool
-> GHC.Num.Integer
-> GHC.Num.Integer
-> GHC.Num.Integer :: [Arity 3
0 -> 0 -> 0 -> *
Str: DmdType SLS]
F8.f8 :: GHC.Num.Integer :: [*
Str: DmdType]
F8.f8f :: forall a_a1ex.
(GHC.Num.Num a_a1ex) =>
GHC.Base.Bool -> a_a1ex -> a_a1ex -> a_a1ex :: [Arity 4
0 -> 0 -> 0 -> 0 -> *
Str: DmdType LSLL
RULES: "SPEC F8.f8f" __forall {$dNum_X1zY :: {GHC.Num.Num GHC.Num.Integer}}
F8.f8f @ GHC.Num.Integer $dNum_X1zY
= $sf8f_s1zR ;]
==================== IdInfo ====================
lit_a1hg :: GHC.Num.Integer :: [*
Str: DmdType]
lit_a1he :: GHC.Num.Integer :: [*
Str: DmdType]
lit_a1h9 :: GHC.Num.Integer :: [*
Str: DmdType]
f_a19b :: GHC.Num.Integer -> GHC.Num.Integer :: [Arity 1
0 -> *
Str: DmdType S]
F9.f91 :: GHC.Num.Integer :: [*
Str: DmdType]
***Arity is changed as occur in Lambda: polyzufail_s1tt{v} 1 0
==================== IdInfo ====================
poly_fail_s1tt :: forall a_a175. [a_a175] :: [*
Str: DmdType b]
Prim.zipWith2 :: forall a_a16Z a_a171 a_a175.
(a_a16Z -> a_a171 -> a_a175) -> [a_a16Z] -> [a_a171] -> [a_a175] :: [Arity 3
0 -> 0 -> 0 -> *
Str: DmdType LSS]
Prim.map2 :: forall a_a17C a_a17G.
(a_a17C -> a_a17G) -> [a_a17C] -> [a_a17G] :: [Arity 2
0 -> 0 -> *
Str: DmdType LS]
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment