-ddump-stg code

[Don Stewart]

stefanor:
> On Fri, Nov 16, 2007 at 05:14:08PM -0300, Guilherme Avelino wrote:
> > Hi,
> > 
> > I want to use the stg code generated by the ghc with a frontend for my
> > compiler. I´m using the flags -ddump-stg  and  -dppr-debug to obtain the STG
> > informations. However there are some things that I din´t understand. Are
> > there any document where I can find informations about the stg generated?
> 
> Yes, the original paper:
> 
> http://citeseer.ist.psu.edu/peytonjones92implementing.html
> 
> > Is it possible to do the ghc show type informations?
> 
> No, types are erased at the STG stage.  If you want you can use the
> Simplifier output (-ddump-simpl, or maybe -fext-core if you're so
> inclined) - this will give you all the types and 98% of the
> optimizations.
> 

STG still has type information (its a simplified form of Core, after all).

-- Don