Re: Option types and O'Labl merger

From: Francisco Valverde Albacete (
Date: Wed Oct 13 1999 - 13:11:47 MET DST

Date: Wed, 13 Oct 1999 13:11:47 +0200
From: "Francisco Valverde Albacete" <>
To: Pierre Weis <>
Subject: Re: Option types and O'Labl merger

 Jacques Garrigue wrote:

> By the way, and this also an answer to another mail I saw recently,
> O'Caml and O'Labl are going to merge soon. That is, O'Labl features
> will be merged into the official O'Caml release (beware though that
> the syntax may be slightly changed to fit everybody's taste).

 I think it is only just that we thank everybody working in the merge. I know
 I am more than willing to pay for the adaption cost.

     Francisco Valverde
     Universidad Carlos III de Madrid

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:27 MET