[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Xen-API] [PATCH] Adds `join' to the Opt module

To: xen-api@xxxxxxxxxxxxxxxxxxx
From: Matthias Görgens <matthias.goergens@xxxxxxxxxx>
Date: Tue, 2 Feb 2010 16:07:24 +0000
Delivery-date: Tue, 02 Feb 2010 08:02:21 -0800
List-id: Discussion of API issues surrounding Xen <xen-api.lists.xensource.com>

`join' collapses (Some (Some a)) down to (Some a), and gives Nothing otherwise.

Signed-off-by: Matthias Görgens <matthias.goergens@xxxxxxxxxx>


 stdext/opt.ml  |  5 +++++
 stdext/opt.mli |  1 +
 2 files changed, 6 insertions(+), 0 deletions(-)

Attachment: xen-api-libs.hg.patch
Description: Text Data

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

Prev by Date: [Xen-API] Fix CA-37292
Next by Date: [Xen-API] [PATCH] Makes the allocator more robust by enabling allocation of 0 bytes
Previous by thread: [Xen-API] Fix CA-37292
Next by thread: [Xen-API] [PATCH] Makes the allocator more robust by enabling allocation of 0 bytes
Index(es):
- Date
- Thread

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.