Date: Tue, 5 Apr 2005 23:01:54 +1200
From: Tim Smith <tim at desert.net>
To: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Cc: lablgtk at math.nagoya-u.ac.jp
Subject: Re: odd type annotation needed; why?
Message-ID: <20050405110154.GA7411 at siva.hindu.god>
References: <20050404051740.GB816 at siva.hindu.god> <20050404.152818.74756226.garrigue at math.nagoya-u.ac.jp>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20050404.152818.74756226.garrigue at math.nagoya-u.ac.jp>

On 2005 Apr 04, Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> wrote:

> It is one of the rare (and documented) cases where you have to help
> the type checker.
> You can avoid this situation by passing tha packing method alone, as
> in other lablgtk widgets:
> 
> let pack_new_button packing label =
>   let button = GButton.button ~label ~packing () in
>   ignore (button#connect#clicked ~callback:(clicked str))

Thank you, Jacques.  That works, even though I'm still trying to
understand why.  I will read over the tutorials a few more times until
it finally sinks in.  :-)

Tim
-- 
If you're not part of the solution, you're part of the precipitate.