[Xen-API] [PATCH 07 of 17] stdext/Either: A module for type ('a,

To:	xen-api@xxxxxxxxxxxxxxxxxxx
Subject:	[Xen-API] [PATCH 07 of 17] stdext/Either: A module for type ('a, 'b) t = Left of 'a \| Right of 'b
From:	Matthias Goergens <matthias.goergens@xxxxxxxxxx>
Date:	Tue, 18 May 2010 15:11:06 +0100
Delivery-date:	Tue, 18 May 2010 07:14:54 -0700
Envelope-to:	www-data@xxxxxxxxxxxxxxxxxxx
In-reply-to:	<patchbomb.1274191859@matthias-desktop>
List-help:	<mailto:xen-api-request@lists.xensource.com?subject=help>
List-id:	Discussion of API issues surrounding Xen <xen-api.lists.xensource.com>
List-post:	<mailto:xen-api@lists.xensource.com>
List-subscribe:	<http://lists.xensource.com/mailman/listinfo/xen-api>, <mailto:xen-api-request@lists.xensource.com?subject=subscribe>
List-unsubscribe:	<http://lists.xensource.com/mailman/listinfo/xen-api>, <mailto:xen-api-request@lists.xensource.com?subject=unsubscribe>
References:	<patchbomb.1274191859@matthias-desktop>
Sender:	xen-api-bounces@xxxxxxxxxxxxxxxxxxx
User-agent:	Mercurial-patchbomb/1.4.3

and helper functions.

Signed-off-by: Matthias Goergens <matthias.goergens@xxxxxxxxxx>


 stdext/Makefile   |   2 +-
 stdext/either.ml  |  24 ++++++++++++++++++++++++
 stdext/either.mli |  18 ++++++++++++++++++
 3 files changed, 43 insertions(+), 1 deletions(-)

sending-foo-xen-api-libs.hg-07.patch
Description: Text Data

_______________________________________________
xen-api mailing list
xen-api@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/mailman/listinfo/xen-api

<Prev in Thread]

Current Thread

[Next in Thread>

Previous by Date:

[Xen-API] [PATCH 04 of 17] Extended a comment in stdext/stringext.ml, Matthias Goergens

Next by Date:

[Xen-API] [PATCH 06 of 17] in stdext/Opt: Renamed cat_options to cat_some, to be more in line with the coming either module, Matthias Goergens

Previous by Thread:

[Xen-API] [PATCH 04 of 17] Extended a comment in stdext/stringext.ml, Matthias Goergens

Next by Thread:

[Xen-API] [PATCH 06 of 17] in stdext/Opt: Renamed cat_options to cat_some, to be more in line with the coming either module, Matthias Goergens

Indexes:

[Date] [Thread] [Top] [All Lists]

WARNING - OLD ARCHIVES

xen-api

[Xen-API] [PATCH 07 of 17] stdext/Either: A module for type ('a, 'b) t =