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 TAA15358 for caml-red; Tue, 19 Sep 2000 19:46:35 +0200 (MET DST)
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 OAA19282 for <caml-list@pauillac.inria.fr>; Tue, 19 Sep 2000 14:22:50 +0200 (MET DST)
Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.6.1])
	by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e8JCMjX16649
	for <caml-list@inria.fr>; Tue, 19 Sep 2000 14:22:49 +0200 (MET DST)
Received: from lambda.u-strasbg.fr (mail@lambda.u-strasbg.fr [130.79.90.63])
	by dpt-info.u-strasbg.fr (8.9.3/8.9.3) with ESMTP id OAA06248
	for <caml-list@inria.fr>; Tue, 19 Sep 2000 14:22:44 +0200
Received: from luther by lambda.u-strasbg.fr with local (Exim 3.16 #1 (Debian))
	id 13bMWp-0000ra-00
	for <caml-list@inria.fr>; Tue, 19 Sep 2000 14:29:39 +0200
Date: Tue, 19 Sep 2000 14:29:39 +0200
From: Sven LUTHER <luther@dpt-info.u-strasbg.fr>
To: caml-list@inria.fr
Subject: Modules, type de modules et type polymorphes.
Message-ID: <20000919142939.A3312@lambda.u-strasbg.fr>
Reply-To: luther@dpt-info.u-strasbg.fr
Mail-Followup-To: Sven LUTHER <luther@dpt-info.u-strasbg.fr>,
	caml-list@inria.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.2.5i
Sender: weis@pauillac.inria.fr

Bonjour, ...
Hello, ...

quel est le probleme de ceci ?
What is the problem with the following ?

bash-2.04$ ocaml
        Objective Caml version 3.00

# module type T_A = sig
    val string_of_a : 'a -> string
  end;;
module type T_A = sig val string_of_a : 'a -> string end
# module A : T_A = struct 
    let string_of_a = string_of_int
  end;;
Signature mismatch:
Modules do not match:
  sig val string_of_a : int -> string end
is not included in
  T_A
Values do not match:
  val string_of_a : int -> string
is not included in
  val string_of_a : 'a -> string

Amicalement,
Friendly,

Sven LUTHER