Re: [Caml-list] errors compiling thrift-generated code

[Guillaume Yziquel <guillaume.yziquel@citycable.ch>]

Le Friday 18 Mar 2011 à 15:29:12 (+0100), Joel Reymont a écrit :
> Folks,
> 
> Any suggestions on what's going on here?
> 
> https://gist.github.com/876154
> 
> The error is at the very bottom.
> 
> This is code auto-generated by Apache Thrift.
> 
> 	Thanks, Joel

Can't say for sure, but I managed to have similar code compiling fine:

https://github.com/yziquel/OCaml-MPI/blob/master/datatype.p4.ml#L208
https://github.com/yziquel/OCaml-MPI/blob/master/datatype.p4.sig.mli#L45

I'd say: Try building class types first. But it's only a vague
impression I have when I try to recall how my code was built. Perhaps
changing the class in your .mli to have the method copy of type 'self?
The basic idea is that if you inherit from the class document, 'self
then denotes the derived class. That may be it. To my knowledge, there
isn't really a way to have classes as 'final' other than to use a
type my_class = private < some oo stuff here > construct, where you can
substitute 'self (which does not have any meaning in such a type
declaration) by my_class.

But it's all rather vague memories.

-- 
     Guillaume Yziquel