Hi Brian, the documentation is available at http://php.cin.ufpe.br/~haskell/haskelldotnet/hsharp.php?m=references . It has nothing to do with ILX code generator. ILX codegen was an old project run by Don Syme (dsyme@microsoft.com). Thanks, Monique On 5/30/07, Brian Alliet wrote:

On Wed, May 30, 2007 at 11:45:33AM -0300, Monique Monteiro wrote:

...

simpler way to integrante new backends? I worked at Haskell.NET project in the past, when we integrated successfully a .NET code generator to GHC 6.2.2.

Do you have any documentation or papers or anything about your .NET codegen? Is it the same (somewhat bitrotted) ILX codegen that exists in the current GHC tree? I'm actually working on a new GHC backend too and would be interested seeing yours.

...

in GHC's code! I haven't yet figured out how to call the .NET code generator from GHC 6.6.1's main function.

You'll probably want to look at hscCompile in main/HscMain.lhs. From there you can pick up either the Core, Core-Prepped, or STG representation of the module and pass it off to your backend. If by chance you want the C-- rep (although that probably won't be too useful for a .NET backend) you'll want codeOutput in main/CodeOutput.lhs.

-Brian

-- __________________________________________________________ Monique Monteiro, MSc MCP .NET Framework 2.0 / SCJP / IBM OOAD Project Manager Recife Microsoft Innovation Center +55 81 34198137 http://www.cin.ufpe.br/~mlbm http://thespoke.net/blogs/moniquelouise/default.aspx monique@qualiti.com.br MSN: monique_louise@msn.com

On 5/30/07, Simon Peyton-Jones wrote:

| is there any plan to improve GHC's extensibility by providing a | simpler way to integrante new backends? I worked at Haskell.NET ... | in GHC's code! I haven't yet figured out how to call the .NET code | generator from GHC 6.6.1's main function. Further, it would be great | if there was a better extensibility mechanism (such as a "plugin" | infrastructure, for example) in which it wasn't necessary to use | "#ifdef"along the code. Also, it would be very useful if this

Yes, good idea. I think the Right Way to do this is by elaborating the GHC API. > At the moment it has a baked-in way of generating output files, but presumably > > by elaborating the interface one could allow either a) GHC returns some Core, and you finish the job, or b) you give to GHC a function to use for code generation

I think b) would be a more elegant option. Further, in Haskell.NET's current implementation, we receive the STG tree. Another question: was there any significant optimization or performance change in the front-end (ie.: generation of Core/STG tree) since GHC 6.2.2? Monique __________________________________________________________ Monique Monteiro, MSc MCP .NET Framework 2.0 / SCJP / IBM OOAD Project Manager Recife Microsoft Innovation Center +55 81 34198137 http://www.cin.ufpe.br/~mlbm http://thespoke.net/blogs/moniquelouise/default.aspx monique@qualiti.com.br MSN: monique_louise@msn.com

Hi all, I'm able to compile the .NET code generator with GHC without compiler errors, but now I have the linkage error below. (In fact there are other similar messages, this is only an example). This is strange because the *.o/*.hi files were all generated without error messages. Has anyone any idea about how to solve it? (...) stage1/ilGen/ILGen.o(.rodata+0x50):fake: undefined reference to `mtlzm1zi0zi1_C ntrolziMonadziStateziLazzy_zdf14_closure' stage1/ilGen/ILGen.o(.rodata+0x68):fake: undefined reference to `mtlzm1zi0zi1_C ntrolziMonadziStateziLazzy_zdf14_closure' stage1/ilGen/ILGen.o(.rodata+0x74):fake: undefined reference to `mtlzm1zi0zi1_C ntrolziMonadziStateziLazzy_zdf14_closure' stage1/ilGen/ILGen.o(.rodata+0x88):fake: undefined reference to `mtlzm1zi0zi1_C ntrolziMonadziStateziLazzy_zdf14_closure' stage1/ilGen/ILGen.o(.rodata+0xb8):fake: more undefined references to `mtlzm1zi zi1_ControlziMonadziStateziLazzy_zdf14_closure' follow stage1/ilGen/ILGen.o(.rodata+0x32bc):fake: undefined reference to `mtlzm1zi0zi1 ControlziMonadziStateziLazzy_evalState_closure' stage1/ilGen/ILGen.o(.rodata+0x32d0):fake: undefined reference to `mtlzm1zi0zi1 ControlziMonadziStateziLazzy_zdf14_closure' collect2: ld returned 1 exit status <> make: *** [stage1/ghc] Error 1 Monique

On 6/2/07, Esa Ilari Vuokko wrote:

For stage1, this can be solved by adding "-package mtl" to ghc command used to linking, for next stages, you'd need to add mtl to bootstrap cycle, I think. I have no idea how that is done. Borrowing code from mtl might be easier.

GHC gives "unknown package: mtl" when I add this option. Should I download it separately? -- __________________________________________________________ Monique Monteiro, MSc MCP .NET Framework 2.0 / SCJP / IBM OOAD Project Manager Recife Microsoft Innovation Center +55 81 34198137 http://www.cin.ufpe.br/~mlbm http://thespoke.net/blogs/moniquelouise/default.aspx monique@qualiti.com.br MSN: monique_louise@msn.com