It relates to strictness info etc. I strongly suggest you do not try to parse this stuff -- it was never intended for that. Why do you think ext-core is harder? It's designed to be easier!
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Guilherme Avelino Sent: 19 February 2008 11:08 To: [email protected] Subject: Re: STG code Hi, I´m trying to use the Core representation by -ddump-simpl, because the code generated is simpler than -fext-core. But I don´t understand the meaning of some informations. I compile the code: mapp::(t->u)->[t]->[u] mapp _ [] = [] mapp f (x:xs) = (f x):(mapp f xs) is generated: Teste.t :: GHC.Base.Int<http://GHC.Base.Int> -> GHC.Base.Int<http://GHC.Base.Int> [GlobalId] [Arity 1 NoCafRefs Str: DmdType U(L)m] Teste.t = \ (a_a5L :: GHC.Base.Int<http://GHC.Base.Int>) -> case a_a5L of wild_abr { GHC.Base.I# x_abt -> let { x1_abj [Just L] :: GHC.Prim.Int# [Str: DmdType] x1_abj = GHC.Prim.+# x_abt 3 } in GHC.Base.I# (GHC.Prim.-# (GHC.Prim.*# (GHC.Prim.-# (GHC.Prim.*# x1_abj (GHC.Prim.*# x1_abj x_abt)) 4) x_abt) 1) } What is the meaning of the colored informations s? Is a good approach to use the code generated by -ddump-simpl? Thanks.
_______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
