<div>On 2/1/06, Julien Fischer <<a href="mailto:juliensf@cs.mu.oz.au">juliensf@cs.mu.oz.au</a>> wrote:<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> On Wed, 1 Feb 2006, Jonathan Morgan wrote: > Any idea how much work it would be to natively support Mono or DotGnu for > the IL backend with both mmake and mmc --make? I've just tried it with DotGNU and compiled most of the library with both mmake and mmc --make. It looks like there is a bug in the MLDS backend that causes it to duplicate definitions in the IL code when compiling library/injection.m (which is where it dies for me at the moment) </blockquote></div> For your information, I have just been trying the latest rotd, and MS ilasm breaks as well when compiling injection.m. So maybe I'll backport your change to mercury-0.12.2 and try it with that (as I know MS ilasm can handle it). Jon