Hello,

i'm writting an object which implements a directory service. The goal is to
be able to add dynamically directories.
My directory links IDs to different type of object.
Thus the object would contain several hashtables where the key is a string
(the ID), and the value an object.
Of course, each hashtable would contain only a type.
For instance, the first hashtable is the directory of object "ant", the
second "cheese", etc...
An "index" hashtable allow to register a new hashtable for a new type

I implemented the directory, and as i expected i had a problem : the
compiler doesn't accept it because it doesn't know the type of object.

So here the code :

class _DIRECTORY = object  (self :'self)
    val mutable indexDico = Hashtbl.create 128
    val mutable dictionnaires =  Hashtbl.create 128
    val mutable maxIndex = 0
    method getDict = dictionnaires
    method getIndex = indexDico
    method getMaxIndex = maxIndex
    method incMaxIndex = maxIndex <- (self#getMaxIndex +1)
    method addDict (name:string) = (self#incMaxIndex) ;
                           let elem = Hashtbl.create 128 in Hashtbl.add
(self#getIndex) name elem
  end;;

Error: Some type variables are unbound in this type:
         class _DIRECTORY :
           object
             val mutable dictionnaires : ('a, 'b) Hashtbl.t
             val mutable indexDico : (string, ('c, 'd) Hashtbl.t) Hashtbl.t
             val mutable maxIndex : int
             method addDict : string -> unit
             method getDict : ('a, 'b) Hashtbl.t
             method getIndex : (string, ('c, 'd) Hashtbl.t) Hashtbl.t
             method getMaxIndex : int
             method incMaxIndex : unit
           end
       The method getDict has type ('a, 'b) Hashtbl.t where 'b is unbound


It doen't surprised me anymore, but i there a strategy to allow that and to
get round this difficulties ?

Thank you for your ideas.

Regards,

Pierre-Alex

-- 
---------------------
https://twitter.com/#!/ontologiae/
http://linuxfr.org/users/montaigne