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 VAA09874; Thu, 15 Jul 2004 21:15:03 +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 VAA10108 for ; Thu, 15 Jul 2004 21:15:01 +0200 (MET DST) Received: from mproxy.gmail.com (mproxy.gmail.com [216.239.56.242]) by concorde.inria.fr (8.12.10/8.12.10) with SMTP id i6FJExSH006514 for ; Thu, 15 Jul 2004 21:15:00 +0200 Received: by mproxy.gmail.com with SMTP id w29so1365159cwb for ; Thu, 15 Jul 2004 12:14:56 -0700 (PDT) Received: by 10.11.99.56 with SMTP id w56mr73293cwb; Thu, 15 Jul 2004 12:14:56 -0700 (PDT) Message-ID: <7f8e92aa04071512145d173aab@mail.gmail.com> Date: Thu, 15 Jul 2004 22:14:56 +0300 From: Radu Grigore To: caml-list@inria.fr Subject: Re: [Caml-list] Unboxing options, was RE: assertions or exceptions? In-Reply-To: Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit References: X-Miltered: at concorde with ID 40F6D7B3.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 unboxing:01 2004:99 0400,:01 prevost:01 prevost:01 unboxed:01 assertions:01 behaviour:01 heh:01 wrote:03 types:03 exceptions:04 mean:05 jul:06 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, 15 Jul 2004 13:20:00 -0400, John Prevost wrote: > This has been discussed before. The essential problem is this: > > Currently: > type 'a option is not the same as type 'a option option [...] > > With unboxed options: > type 'a option is the same as type 'a option option [...] Heh.. This is an inconsistency in the current C# 2.0 spec :) (see nullable types) By inconsistency I mean that it is not clear what is the intended behaviour. regards, radu ------------------- 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