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

[Joel Reymont <joelr1@gmail.com>]

> The easiest way to fix your problem is to change the interface so that:
> 
>    method copy : document
> 
> becomes:
> 
>    method copy : 'a

I changed copy in the mli but it doesn't seem to work.

Error: The implementation src/Hello_types.ml
       does not match the interface src/hello_types.cmi:
       Class declarations do not match:
         class document :
           object ('a)
             val mutable _docname : string option
             val mutable _page : int option
             val mutable _username : string option
             method copy : 'a
             method get_docname : string option
             method get_page : int option
             method get_username : string option
             method grab_docname : string
             method grab_page : int
             method grab_username : string
             method reset_docname : unit
             method reset_page : unit
             method reset_username : unit
             method set_docname : string -> unit
             method set_page : int -> unit
             method set_username : string -> unit
             method unset_docname : unit
             method unset_page : unit
             method unset_username : unit
             method write : Thrift.Protocol.t -> unit
           end
       does not match
         class document :
           object
             method copy : 'a
             method get_docname : string option
             method get_page : int option
             method get_username : string option
             method grab_docname : string
             method grab_page : int
             method grab_username : string
             method reset_docname : unit
             method reset_page : unit
             method reset_username : unit
             method set_docname : string -> unit
             method set_page : int -> unit
             method set_username : string -> unit
             method unset_docname : unit
             method unset_page : unit
             method unset_username : unit
             method write : Thrift.Protocol.t -> unit
           end
       The method copy has type
         < copy : 'a; get_docname : string option; get_page : int option;
           get_username : string option; grab_docname : string;
           grab_page : int; grab_username : string; reset_docname : unit;
           reset_page : unit; reset_username : unit;
           set_docname : string -> unit; set_page : int -> unit;
           set_username : string -> unit; unset_docname : unit;
           unset_page : unit; unset_username : unit;
           write : Thrift.Protocol.t -> unit; .. >
         as 'a
       but is expected to have type 'b. 'b
Command exited with code 2.


--------------------------------------------------------------------------
- for hire: mac osx device driver ninja, kernel extensions and usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------