Date: Sat, 3 May 2003 11:03:46 +0100
To: lablgtk at kaba.or.jp
Subject: More GtkHtml questions
Message-ID: <20030503100346.GE24136 at redhat.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
From: Richard Jones <rich at annexia.org>

How does garbage collection work in lablgtk? It looks like my object
will never get freed up.

Also, the type system is very confusing. I have GtkHtml which is
derived in this hierarchy:

Widget
  -> Container
    -> Layout
      -> GtkHtml

so now I'm defining:

type html = [widget|`container|`layout|`html]

(These variant types are very much at the edge of my experience with
OCaml - the manual is very unhelpful when it comes to explaining
exactly what the ` backquote is all about).

Is this correct?

Now to define my class:

class html obj = object
  inherit GPack.layout (obj : GtkHtml.html obj)
end

Except this doesn't actually work. I get:

File "gHtml.ml", line 40, characters 24-27:
This expression has type GtkHtml.html Gtk.obj but is here used with type
  Gtk.layout Gtk.obj
Type GtkHtml.html = [ `base | `container | `html | `layout | `widget]
is not compatible with type
  Gtk.layout = [ `base | `container | `layout | `widget]

Ideas?

Rich.

-- 
Richard Jones, Red Hat Inc. (London) and Merjis Ltd. http://www.merjis.com/
http://www.annexia.org/ Freshmeat projects: http://freshmeat.net/users/rwmj
MAKE+ is a sane replacement for GNU autoconf/automake. One script compiles,
RPMs, pkgs etc. Linux, BSD, Solaris. http://www.annexia.org/freeware/makeplus/