From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA28414 for caml-red; Fri, 9 Feb 2001 10:46:56 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA08059 for ; Fri, 9 Feb 2001 02:28:12 +0100 (MET) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f191SBH11057 for ; Fri, 9 Feb 2001 02:28:11 +0100 (MET) Received: from localhost (mikan.kurims.kyoto-u.ac.jp [130.54.16.202]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id KAA23963; Fri, 9 Feb 2001 10:28:02 +0900 (JST) To: bpr@best.com Cc: caml-list@inria.fr Subject: Re: OCaml's long range graphical direction? In-Reply-To: References: <20010208105941X.garrigue@kurims.kyoto-u.ac.jp> X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20010209102801K.garrigue@kurims.kyoto-u.ac.jp> Date: Fri, 09 Feb 2001 10:28:01 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: weis@pauillac.inria.fr From: Brian Rogoff > > This convoluted class and method system is intended to make using > > lablgtk easier on the long term :-) > > In fact, people seem to be coping with it OK. That is, I didn't get > > that many questions on it. But certainly, there is a huge deficit in > > documentation. > > I just hack on the examples, but surely a bit more documentation would > help. This might be good Consortium work, or even fixable with a volunteer > effort. Any volunteers ? Currently I have no time for documentation, sorry. By the way, we can discuss that on the lablgtk list. > After all of the admonitions against the use of Obj.magic it's a bit > disconcerting to count 41 Obj.magic usages in lablgtk. I recall > hearing that that will change. What's the plan? Do not forget that any "external" declaration also amounts to an Obj.magic, and there are 955 of them in lablgtk. Seriously, most Obj.magic in lablgtk amount to a cast of an external after checking its validity, and I see no way to avoid that. What should disappear after ocaml 3.01 is release is the use of external coerce ... = "%identity" which is an equivalent of Obj.magic used to go around some limitations of the type system. There are 24 of them, but they will not be needed anymore thanks to variance annotations in types. Jacques --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp JG