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 UAA07318; Tue, 1 Apr 2003 20:51:17 +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 UAA06193 for ; Tue, 1 Apr 2003 20:51:16 +0200 (MET DST) Received: from athlon.baretta.com ([213.255.109.130]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h31IpF529075 for ; Tue, 1 Apr 2003 20:51:15 +0200 (MET DST) Received: from baretta.com (localhost.localdomain [127.0.0.1]) by athlon.baretta.com (Postfix) with ESMTP id E06DF27439; Tue, 1 Apr 2003 19:56:52 +0200 (CEST) Message-ID: <3E89D2E4.4030902@baretta.com> Date: Tue, 01 Apr 2003 19:56:52 +0200 From: Alessandro Baretta Organization: Baretta srl -- www.baretta.com User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.1) Gecko/20020826 X-Accept-Language: it, en MIME-Version: 1.0 To: Ville-Pertti Keinonen , Ocaml Subject: Re: [Caml-list] Typing problem with polymorphic variants References: <2D6F217A-6471-11D7-848D-000393863F70@exomi.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; alessandro:01 baretta:01 caml-list:01 val:01 variants:01 alex:01 int:01 width:98 polymorphic:01 match:02 float:02 string:03 typing:03 wrote:03 meaningful:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Ville-Pertti Keinonen wrote: > > On Tuesday, Apr 1, 2003, at 20:34 Europe/Helsinki, Alessandro Baretta > wrote: > >> This just baffles me. >> >> > Values do not match: >> > val feature : >> > [> `Clear | `Length of int | `Pitch of int >> > | `Width of 'a] -> string >> > is not included in >> > val feature : [> `Clear] -> string > > > Consider what would happen if you tried to pass a `Length of float, > which is acceptable according to the latter signature. > > Thank you very much. This is actually a meaningful comment. I wonder if there is any sensible way to do what I'm trying to do. I'll think it over. Alex ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners