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? Thanks.
_______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
