 Home |
Products |
Support |
Community |
News |
xen-api
[Xen-API] [PATCH] Adds `join' to the Opt module
| To: | xen-api@xxxxxxxxxxxxxxxxxxx |
|---|---|
| Subject: | [Xen-API] [PATCH] Adds `join' to the Opt module |
| 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 |
| Envelope-to: | www-data@xxxxxxxxxxxxxxxxxxx |
| 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> |
| Sender: | xen-api-bounces@xxxxxxxxxxxxxxxxxxx |
| User-agent: | Mercurial-patchbomb/1.3.1 |
`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(-)
_______________________________________________ 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] Fix CA-37292, Javier Alvarez-Valle |
|---|---|
| Next by Date: | [Xen-API] [PATCH] Makes the allocator more robust by enabling allocation of 0 bytes, Matthias Görgens |
| Previous by Thread: | [Xen-API] Fix CA-37292, Javier Alvarez-Valle |
| Next by Thread: | [Xen-API] [PATCH] Makes the allocator more robust by enabling allocation of 0 bytes, Matthias Görgens |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
