From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id SAA21206 for caml-redistribution; Thu, 13 Jun 1996 18:54:06 +0200
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id SAA20642 for <caml-list@pauillac.inria.fr>; Thu, 13 Jun 1996 18:45:37 +0200
Received: from lorraine.loria.fr (lorraine.loria.fr [152.81.1.17]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id SAA23722 for <caml-list@pauillac.inria.fr>; Thu, 13 Jun 1996 18:45:37 +0200 (MET DST)
Received: from delsarte.loria.fr (delsarte.loria.fr [152.81.6.130]) by lorraine.loria.fr (8.7.5/8.7.3/JCG) with ESMTP id SAA26887 for <caml-list@pauillac.inria.fr>; Thu, 13 Jun 1996 18:45:34 +0200 (MET DST)
From: Bouzid Djamila <Bouzid.Djamila@loria.fr>
Received: (from bouzidd@localhost) by delsarte.loria.fr (8.7.4/8.7.3) id SAA17944 for caml-list@pauillac.inria.fr; Thu, 13 Jun 1996 18:45:35 +0200 (MET DST)
Message-Id: <199606131645.SAA17944@delsarte.loria.fr>
Subject: Probleme d'interface
To: caml-list@pauillac.inria.fr
Date: Thu, 13 Jun 1996 18:45:33 +0200 (MET DST)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Sender: weis


Bonjour,

Voila, j'ai deux fichiers CSL (Caml Special Light) 
vendor.mli (pour l'interface) et vendor.ml

(* fichier vendor.mli *)
module type VENDOR_INTEGER = 
 sig
  val min : int * int -> int
 end (* sig *)

module type VENDOR =
 sig
  val print: string -> unit
  module Integer : VENDOR_INTEGER
 end (* sig *)




(* fichier vendor.ml *)
open vendor
 module  V : VENDOR =
  struct
   let print = print_string
   module Integer : VENDOR_INTEGER =
    struct
      let min ((x:int),(y:int)) = if x < y then x else y
    end
  end  (* functor V *)


A la compilation, voila le message d'erreur que je recois a chaque fois

finot ip 175 % cslc -i vendor.mli
module type VENDOR_INTEGER = sig val min : int * int -> int end
module type VENDOR =
  sig val print : string -> unit module Integer : VENDOR_INTEGER end
finot ip 176 % cslc -i vendor.ml
module V : Vendor.VENDOR
The implementation vendor.ml does not match the interface vendor.cmi:
The field `VENDOR' is required but not provided
The field `VENDOR_INTEGER' is required but not provided
finot ip 177 % 

J'ai essaye toutes les methodes, mais a chaque fois je tombe sur
la meme erreur.

Pouvez_vous ,s'il vous plait, m'expliquer a quoi est du ce probleme ?

Merci de votre reponse

-----------------------------------------------------------------------------

Hi!

I have two CSL files : vendor.mli (the interface) and vendor.ml

(* vendor.mli *)
module type VENDOR_INTEGER = 
 sig
  val min : int * int -> int
 end (* sig *)

module type VENDOR =
 sig
  val print: string -> unit
  module Integer : VENDOR_INTEGER
 end (* sig *)


(*vendor.ml *)
open vendor
 module  V : VENDOR =
  struct
   let print = print_string
   module Integer : VENDOR_INTEGER =
    struct
      let min ((x:int),(y:int)) = if x < y then x else y
    end
  end  (* functor V *)

when compiling these programs, I receive the following error message :

finot ip 175 % cslc -i vendor.mli
module type VENDOR_INTEGER = sig val min : int * int -> int end
module type VENDOR =
  sig val print : string -> unit module Integer : VENDOR_INTEGER end
finot ip 176 % cslc -i vendor.ml
module V : Vendor.VENDOR
The implementation vendor.ml does not match the interface vendor.cmi:
The field `VENDOR' is required but not provided
The field `VENDOR_INTEGER' is required but not provided
finot ip 177 % 

Please, could you tell me where's the problem ?

Thanks for the response.


D. Bouzid.