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

[Niki Yoshiuchi <aplusbi@gmail.com>]

Apologies if you receive this twice, I accidentally hit reply instead
of reply all.

The problem appears to be related to the problem that self is
dynamically bound at invocation (as objects can be extended by
subclasses).  The details are outlined here:
http://caml.inria.fr/pub/docs/manual-ocaml/manual005.html#toc20
You'll noticed that if you declare an object with a reference to self
its type is:

   class myclass : object ('a) .... : ;a end

In other words, self is of type 'a and not type myclass.

The easiest way to fix your problem is to change the interface so that:

   method copy : document

becomes:

   method copy : 'a

You should also file a bug report with the Thrift developers.

-Niki Yoshiuchi

On Fri, Mar 18, 2011 at 10:29 AM, Joel Reymont <joelr1@gmail.com> wrote:
> 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
>
> --------------------------------------------------------------------------
> - for hire: mac osx device driver ninja, kernel extensions and usb drivers
> ---------------------+------------+---------------------------------------
> http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
> ---------------------+------------+---------------------------------------
>
>
>
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>