Delivered-To: lablgtk at yquem.inria.fr Date: Sat, 26 Apr 2008 11:31:36 +0900 (JST) Message-Id: <20080426.113136.194237666.garrigue at math.nagoya-u.ac.jp> To: kris_w at mac.com Subject: Re: [Lablgtk] strange enough, lablgtk2.10.1 won't compile From: Jacques GARRIGUE In-Reply-To: <834E9304-A2B6-440A-90EF-A23F5F27777D at mac.com> References: <834E9304-A2B6-440A-90EF-A23F5F27777D at mac.com> Mime-Version: 1.0 Content-Transfer-Encoding: 7bit Cc: lablgtk at yquem.inria.fr Content-Type: Text/Plain; charset=us-ascii Content-Length: 1352 Are you sure you are using 2.10.1? IIRC, this is exactly the error message you get when compiling lablgtk 2.10.0 under ocaml 3.10.2. The solution was simple enough: correct the type in gContainer.mli. Jacques From: Krzysztof Worytkiewicz > Hi, > > I get the following error when trying to compile lablgtk 2.10.1 > > ocamlc.opt -w s -c gContainer.mli > ocamlc.opt -w s -c gContainer.ml > The implementation gContainer.ml does not match the interface > gContainer.cmi: > Values do not match: > val pack_container : > create:(([> `container | `widget ] as 'a) Gobject.param list -> > (#GObj.widget as 'b)) -> > 'a Gobject.param list -> > ?border_width:int -> > ?width:int -> > ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool -> > unit -> 'b > is not included in > val pack_container : > create:([> Gtk.container ] Gobject.param list -> (#GObj.widget > as 'a)) -> > [> Gtk.container ] Gobject.param list -> > ?border_width:int -> > ?width:int -> > ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool -> > unit -> 'a > make[1]: *** [gContainer.cmo] Error 2 > make: *** [world] Error 2 _______________________________________________ Lablgtk mailing list Lablgtk@yquem.inria.fr http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk