On 2/18/08, Guilherme Avelino <[EMAIL PROTECTED]> wrote: > Hi, > > I know that Stg don´t have type informations, but I saw some research using > a changed version of GHC > > Some researches, like Compiling Haskell to Java [Tullsen, Mark] and > Multi-Paradigm Just-In-Time Compilation [Stewart, Don], have used the STG as > frontend for them compilers. They changed the GHC to generate a STG with > more type informations. I would like to do the same. What should I changed > to do this? Aren´t there informations about types on STG or GHC just don´t > print them?
As far as I know, the work described in those papers (particularly the Tullsen paper, which I've read) was done in an ad hoc way. I really recommend avoiding this. GHC has an -fext-core option which prints out an externalized version of the Core intermediate language -- one step up from STG. The syntax for this language is documented at: http://www.haskell.org/ghc/docs/papers/core.ps.gz but that documentation is out of date in several ways. I'm currently working on bringing it up to date. It might also help if you said what you wanted to use STG for. However, it's almost always better to use Core rather than STG. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt "More than at any other time in history, mankind faces a crossroads. One path leads to despair and utter hopelessness. The other, to total extinction. Let us pray we have the wisdom to choose correctly." -- Woody Allen _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
