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 QAA00917 for caml-redistribution; Tue, 12 Oct 1999 16:42:58 +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 QAA05696 for <caml-list@pauillac.inria.fr>; Tue, 12 Oct 1999 16:38:40 +0200 (MET DST)
Received: from postbox.dai.ed.ac.uk (postbox.dai.ed.ac.uk [129.215.41.196])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id QAA21887
	for <caml-list@inria.fr>; Tue, 12 Oct 1999 16:38:38 +0200 (MET DST)
Received: from insch (insch.dai.ed.ac.uk [129.215.41.233])
	by postbox.dai.ed.ac.uk (8.9.3/8.9.3) with SMTP id PAA09722;
	Tue, 12 Oct 1999 15:38:35 +0100 (BST)
Date: Tue, 12 Oct 1999 15:38:33 +0100
Message-Id: <220.199910121438@insch>
From: William Chesters <williamc@dai.ed.ac.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
To: caml-list@inria.fr
Subject: Option types and O'Labl merger
In-Reply-To: <19991012103445R.Jacques.Garrigue@inria.fr>
References: <199910102238.SAA17988@bismarck.chet.org>
	<19991012103445R.Jacques.Garrigue@inria.fr>
X-Mailer: VM 6.22 under Emacs 19.34.1
Sender: weis

Jacques Garrigue writes:
 > By the way, and this also an answer to another mail I saw recently,
 > O'Caml and O'Labl are going to merge soon.

hey hey :-)

 > If you really think that having such costless options would be useful,
 > it is the time to make pressure to have them included in the merger.

"Could we have costless options please, if it's REALLY not going to
complicate the compiler too much?"