Delivered-To: lablgtk at yquem.inria.fr Date: Tue, 27 Nov 2007 11:22:00 -0600 From: Brian de Alwis To: Jacques Garrigue Subject: Re: [Lablgtk] Re: SIGSEGV with lablgtk for GTK+ 2 Message-ID: <20071127172200.GC3857 at monolith.usask.ca> References: <20071126204522.GA8290 at monolith.gateway.2wire.net> <20071127025136.GA6909@monolith.gateway.2wire.net> <20071127.141140.182616637.garrigue@math.nagoya-u.ac.jp> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <20071127.141140.182616637.garrigue at math.nagoya-u.ac.jp> Cc: lablgtk at yquem.inria.fr Content-Type: text/plain; charset=us-ascii Content-Length: 1355 Hello Jacques, > #define GType_val(t) ((GType)t) > #define Val_GType(t) ((value)t) These new definitions fix the problems. Thanks! > And I was not clear enough myself: lablgtktop does _not_ initialize > Gtk. Your test case would fail on any machine running lablgtk, albeit > giving some warning, so it is not really satisfactory as > demonstration. Oh -- I only thought that because of the following text in README: ---------------------------------------------------------------------- How to link them: lablgtktop contains an extra module GtkInit, whose only contents is: let locale = GtkMain.Main.init () You must either add this line, or add this module to your link, before calling any Gtk function. ocamlc -I +lablgtk2 -w s lablgtk.cma gtkInit.cmo ???.ml -o ??? ---------------------------------------------------------------------- I thought this text implied lablgtktop caused the GTK module to be initialized. Should the second sentence shown be referencing `lablgtk2' instead of lablgtktop? Thanks for your help! Brian. -- Brian de Alwis | Software Practices Lab | UBC | http://www.cs.ubc.ca/~bsd/ "Amusement to an observing mind is study." - Benjamin Disraeli _______________________________________________ Lablgtk mailing list Lablgtk@yquem.inria.fr http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk