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 UAA06504; Tue, 1 Apr 2003 20:38:52 +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 UAA06838 for <caml-list@pauillac.inria.fr>; Tue, 1 Apr 2003 20:38:50 +0200 (MET DST)
Received: from mail.exomi.com (mail.exomi.com [217.169.64.72])
	by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h31Icn528424
	for <caml-list@inria.fr>; Tue, 1 Apr 2003 20:38:50 +0200 (MET DST)
Received: from exomi.com (unknown [10.0.5.5])
	by mail.exomi.com (Postfix) with ESMTP
	id 4CC275D03; Tue,  1 Apr 2003 21:38:49 +0300 (EEST)
Date: Tue, 1 Apr 2003 21:38:48 +0300
Subject: Re: [Caml-list] Typing problem with polymorphic variants
Content-Type: text/plain; charset=US-ASCII; format=flowed
Mime-Version: 1.0 (Apple Message framework v551)
Cc: Ocaml <caml-list@inria.fr>
To: Alessandro Baretta <alex@baretta.com>
From: Ville-Pertti Keinonen <will@exomi.com>
In-Reply-To: <3E89CDA0.7090200@baretta.com>
Message-Id: <2D6F217A-6471-11D7-848D-000393863F70@exomi.com>
Content-Transfer-Encoding: 7bit
X-Mailer: Apple Mail (2.551)
X-Spam: no; 0.00; caml-list:01 alessandro:01 baretta:01 val:01 variants:01 int:01 width:98 polymorphic:01 match:02 float:02 string:03 typing:03 wrote:03 latter:06 feature:07 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk


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.

-------------------
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