Tree of a certain class:

From: Peter Schrammel (peter.schrammel@unibw-muenchen.de)
Date: Fri Sep 24 1999 - 10:15:52 MET DST


Date: Fri, 24 Sep 1999 10:15:52 +0200
From: Peter Schrammel <peter.schrammel@unibw-muenchen.de>
To: Pierre Weis <Pierre.Weis@inria.fr>, caml-list@inria.fr
Subject: Tree of a certain class:

I wrote a Program:
type 'i tree =
    Empty
  | Item of 'i
  | Section of 'i * 'i

class ['i] ctree =
  object (self : 'a)
    val mutable content : 'i tree = Empty

    method get = content
        
end

class debug =
  object
    method debug = ()
  end

class dtree =
  object
    inherit [#debug] ctree
  end

But the compiler gives me the error:

Some type variables are unbound in this type:
  class dtree :
    object val mutable content : (#debug as 'a) tree method get : 'a
tree end
The method get has type #debug tree where .. is unbound
make: *** [test.cmo] Error 2

How can make trees of a certain (sub)class ? (I hope there's a simple
solution)

Regards,
Peter

--
Peter Schrammel
UniBw-Muenchen 106/2/116
85579 Neubiberg
ICQ: 5469131



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:25 MET