catamorphism at gmail.com
Mon Feb 18 10:10:10 EST 2008
On 2/18/08, Guilherme Avelino <gavelino at gmail.com> wrote:
> 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:
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.
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." --
More information about the Cvs-ghc