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 HAA21797 for caml-red; Tue, 24 Oct 2000 07:15:05 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA15124 for ; Mon, 23 Oct 2000 17:35:57 +0200 (MET DST) Received: from cantina.students.cs.unibo.it (cantina.students.cs.unibo.it [130.136.3.110]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id e9NFZuj21615 for ; Mon, 23 Oct 2000 17:35:56 +0200 (MET DST) Received: from pagadebit.students.cs.unibo.it (root@pagadebit.students.cs.unibo.it [130.136.3.115]) by cantina.students.cs.unibo.it (8.11.0/8.11.0/Debian 8.11.0-6) with ESMTP id e9NFZua18988 for ; Mon, 23 Oct 2000 17:35:56 +0200 Received: (from sacerdot@localhost) by pagadebit.students.cs.unibo.it (8.11.0/8.11.0/Debian 8.11.0-6) id e9NFZtZ31049 for caml-list@inria.fr; Mon, 23 Oct 2000 17:35:55 +0200 Date: Mon, 23 Oct 2000 17:35:55 +0200 From: Claudio Sacerdoti Coen To: caml-list@inria.fr Subject: Strange type error Message-ID: <20001023173554.A30886@students.cs.unibo.it> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii User-Agent: Mutt/1.0.1i X-Operating-System: Debian GNU/Linux X-Organization: Department of computer science, University of Bologna, Eurpean Union Sender: weis@pauillac.inria.fr Hello, let a.mli be type 'a section_path = { x : int; } and mind_section_path = [ `MIND] section_path type const_section_path = [ `CONST] section_path and b.mli be type 'a section_path = { x : int; } type mind_section_path = [ `MIND] section_path type const_section_path = [ `CONST] section_path b.mli is compiled without problems, but for a.mli I get File "prova.mli", line 3, characters 26-35: This type [ `CONST] should be an instance of type [ `MIND] that seems nonsense to me. Someone could explain the error? Thanks, C.S.C. -- ---------------------------------------------------------------- Real name: Claudio Sacerdoti Coen Graduate Computer Science Student at University of Bologna Now at INRIA (Rocquencourt) E-mail: sacerdot@cs.unibo.it Claudio.Sacerdoti_Coen@inria.fr http://caristudenti.cs.unibo.it/~sacerdot ----------------------------------------------------------------