Version française
Home     About     Download     Resources     Contact us    
Browse thread
Ocaml back-end
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Gilles Pirio <gilles.pirio@g...>
Subject: Re: [Caml-list] Re: Ocaml back-end
Hello
Ok, thanks for the feedback.

> To my mind, the best way is to provide a patch through the bug tracking
> system of INRIA. This is highly probable that INRIA team doesn't accept
> it directly but ask you to justify/modify it in order to fit the whole
> compiler -- which could be quiet a long process in fact.

It would greatly help to know what the INRIA team would consider as
acceptable ahead of doing the work. What kind of guidlines would you
advise me to follow? I guess I can add new passes but can I modify
existing ones?

The ideal solution would be to open the back-end using the dynlink
library. I've done it with 3.11 to speed up development. The back-end is now
a cmo file. I separately compile copt0.cmo, copt1.cmo... with different
back-ends. Then I can use command like: ocamlopt -copt copt0.cmo myfile.ml
to compile with my back-end.
But even though that's a small change I'm not sure the INRIA guys would
like it, right?


> Well, I can give you access to an unofficial public git mirror of
> INRIA's cvs.  I use it to build my compiler, but I dunno if anyone else
> uses it.  If it had optimizations like this, they might very well.

That sounds great, thanks. I'll follow up when I have the need to do that
(e.g. when
I get the above info and actually start the work).

Cheers
G<>



On Sun, Dec 7, 2008 at 9:58 PM, Sylvain Le Gall <sylvain@le-gall.net> wrote:

> Hello,
>
> On 06-12-2008, Gilles Pirio <gilles.ocaml@googlemail.com> wrote:
> > (2) Any way to contribute this work back to Ocaml community (on a
> > separate cvs branch?) or is this kind of work planned by the core
> > Ocaml team?
> >
>
> To my mind, the best way is to provide a patch through the bug tracking
> system of INRIA. This is highly probable that INRIA team doesn't accept
> it directly but ask you to justify/modify it in order to fit the whole
> compiler -- which could be quiet a long process in fact.
>
> http://caml.inria.fr/mantis/
>
> Regards,
> Sylvain Le Gall
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>