From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA17299; Wed, 25 Apr 2001 17:49:01 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA17550 for <caml-list@pauillac.inria.fr>; Wed, 25 Apr 2001 17:49:01 +0200 (MET DST)
Received: from ionie.inria.fr (ionie.inria.fr [128.93.39.12])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3PFmxX22567
	for <caml-list@inria.fr>; Wed, 25 Apr 2001 17:48:59 +0200 (MET DST)
Received: from ionie.inria.fr (localhost [127.0.0.1])
	by ionie.inria.fr (8.11.1/8.10.0) with ESMTP id f3PFn0116328
	for <caml-list@inria.fr>; Wed, 25 Apr 2001 17:49:00 +0200 (MET DST)
Message-Id: <200104251549.f3PFn0116328@ionie.inria.fr>
X-Mailer: exmh version 2.1.1 10/15/1999
To: caml-list@inria.fr
Subject: [Caml-list] le neophyte et les modules, types parametres
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Mime-Version: 1.0
Content-Transfer-Encoding: 8bit
Date: Wed, 25 Apr 2001 17:49:00 +0200
From: Francois Thomasset <Francois.Thomasset@inria.fr>
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Désolé de poser des qustions simplistes mais je suis perdu dans les modules.
Dans l'idée de construire une table de symboles je définis ceci :
# type symbol = string * int ;;
# type comparison = Equiv | Smaller | Greater;;
# module type ORDERED =
    sig
      type 'a t
      val order : 'a t -> 'a t -> comparison
    end;;
module type ORDERED =
  sig type 'a t val order : 'a t -> 'a t -> comparison end
# module type AVL_FUNCTOR = functor ( Key : ORDERED ) ->
  sig
    type 'a key = 'a Key.t
    type avl_btree = ('a key * int) btree
    ...
  end;;
The type constructor Key.t expects 1 argument(s),
but is here applied to 0 argument(s)

D'accord je suppose que c'est le type 'a qui manque (un jour ce sera les 
morceaux d'environnement attachés aux symboles, donc je n'ai pas envie de 
préciser tout de suite) ; mais je ne comprends pas comment le dire autrement 
que ci-dessus ; quelque chose a du m'échapper...

Question: how to use a parameter type in a module, cf example above

					François Thomasset.
					INRIA (A3)

Tel: +33 (1) 39-63-54-75
Fax: +33 (1) 39-63-53-30 ou +33 (1) 39-63-59-95
Email: Francois.Thomasset@inria.fr
Smail: INRIA, Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France


-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr