geneweb and ocaml 3.07 : help.. :-)
Christian Perrier
Well, as some of you may know, I'm not an ocaml expert...I'm even not
a coding expert, by the way.
I maintain the geneweb package because it's part of my hobby,
mostly. Also because I think I can make good work with it as long as
it does not invlove digging in the dirt^W code.
So I'm needing some Ocaml competences for helping me.
With ocaml 3.07 release, the geneweb package does not compile from
sources anymore.
This is probably trivial, but I cannot handle this by myself.
Here are the symptoms :
camlp4r pa_ifdef.cmo -DUNIX -o wserver.ppi wserver.mli
ocamlc.opt -warn-error A -I `camlp4 -where` -c -intf wserver.ppi
File "wserver.mli", line 24, characters 15-46:
The type constructor format expects 3 argument(s),
but is here applied to 4 argument(s)
make[2]: *** [wserver.cmi] Erreur 2
And the offending code :
ifdef OCAML_307 then
value wprint : format 'a out_channel unit unit -> 'a
else
value wprint : format 'a out_channel unit -> 'a;
(* To be called to print page contents. *)
(you will notice the possible OCAML_307 define)
I tried to compile with -DOCAML_307 but the same happens. Probably
because the define is implicit when camlp4r is the 3.07 version.
The only way to get through this is by commenting stuff :
(* ifdef OCAML_307 then
value wprint : format 'a out_channel unit unit -> 'a
else *)
value wprint : format 'a out_channel unit -> 'a;
(* To be called to print page contents. *)
But this is probably silly.. :-)
I could ask Daniel de Rauglaudre, upstream author, but I prefer asking
here first as Daniel is currently very busy and I'd prefer trying this
as a last option....
I would probably need an ocaml expert as co-maintainer for
geneweb... :-)
--
To UNSUBSCRIBE, email to debian-ocaml-...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listm...@lists.debian.org
Sven Luther
Well, i don't really know, but it seems to me that the whole of the
OCAML_3.07 code is making wrong assumption on what was supposed to be
ocaml 3.07, probably using an old version of ocaml cvs or something.
I would remove all the OCAML_307 stuff, or replace it by OCAML_307_BAD
or something. Altough, maybe the place in src/argl.ml could be kept, i
don't know.
The problem seems to be related on the new format type, which i remember
was indeed incompatible some time back in the CVS, but apparently this
was reverted to keep source level compatibility, and there is no mention
of it in the Changes file.
So, i would remove each mention of it, except for the src/argl.ml file,
which seems to build fine with it.
Friendly,
Sven Luther
Remi Vanicat
> Well, as some of you may know, I'm not an ocaml expert...I'm even not
> a coding expert, by the way.
>
> I maintain the geneweb package because it's part of my hobby,
> mostly. Also because I think I can make good work with it as long as
> it does not invlove digging in the dirt^W code.
>
> So I'm needing some Ocaml competences for helping me.
>
> With ocaml 3.07 release, the geneweb package does not compile from
> sources anymore.
>
> This is probably trivial, but I cannot handle this by myself.
>
> Here are the symptoms :
>
> camlp4r pa_ifdef.cmo -DUNIX -o wserver.ppi wserver.mli
> ocamlc.opt -warn-error A -I `camlp4 -where` -c -intf wserver.ppi
> File "wserver.mli", line 24, characters 15-46:
> The type constructor format expects 3 argument(s),
> but is here applied to 4 argument(s)
> make[2]: *** [wserver.cmi] Erreur 2
>
> And the offending code :
>
> ifdef OCAML_307 then
> value wprint : format 'a out_channel unit unit -> 'a
> else
> value wprint : format 'a out_channel unit -> 'a;
> (* To be called to print page contents. *)
you should change this to :
ifdef OCAML_307 then
value wprint : format4 'a out_channel unit unit -> 'a
else
value wprint : format 'a out_channel unit -> 'a;
(* To be called to print page contents. *)
or (even simpler) :
value wprint : format 'a out_channel unit -> 'a;
(removing the ifdef OCAML_307).
the fact is the format type became incompatible in the cvs version,
then as come back to normal, while the format4 take the place of the
temporary incompatible format type.
>
> (you will notice the possible OCAML_307 define)
>
> I tried to compile with -DOCAML_307 but the same happens. Probably
> because the define is implicit when camlp4r is the 3.07 version.
>
> The only way to get through this is by commenting stuff :
>
> (* ifdef OCAML_307 then
> value wprint : format 'a out_channel unit unit -> 'a
> else *)
> value wprint : format 'a out_channel unit -> 'a;
> (* To be called to print page contents. *)
>
>
> But this is probably silly.. :-)
Well, just remove it.
>
> I could ask Daniel de Rauglaudre, upstream author, but I prefer asking
> here first as Daniel is currently very busy and I'd prefer trying this
> as a last option....
you should tell upstream that is code does not compile, it may not be
aware of it.
--
Rémi Vanicat
remi.v...@laposte.net
Sven Luther
> > I could ask Daniel de Rauglaudre, upstream author, but I prefer asking
> > here first as Daniel is currently very busy and I'd prefer trying this
> > as a last option....
>
> you should tell upstream that is code does not compile, it may not be
> aware of it.
Well, he may not care though, as if i am not wrong, he left the ocaml
team on quite bad terms over calmp4.
Friendly,
Sven Luther
Christian Perrier
> On Fri, Oct 03, 2003 at 08:00:56PM +0200, Remi Vanicat wrote:
> > > I could ask Daniel de Rauglaudre, upstream author, but I prefer asking
> > > here first as Daniel is currently very busy and I'd prefer trying this
> > > as a last option....
> >
> > you should tell upstream that is code does not compile, it may not be
> > aware of it.
>
> Well, he may not care though, as if i am not wrong, he left the ocaml
> team on quite bad terms over calmp4.
He certainly cares anyway as geneweb is his baby and related to one of
his hobbies....
Thanks for your advice, I'll try removing the OCAML_307 stuff.
Christian Perrier
Fine. All compiled well and the new geneweb will be on its way to
unstable very soon.