 Home |
Products |
Support |
Community |
News |
xen-api
[Xen-API] [PATCH] stdext/Either: A module for type ('a, 'b) t = Left of
| To: | xen-api@xxxxxxxxxxxxxxxxxxx |
|---|---|
| Subject: | [Xen-API] [PATCH] stdext/Either: A module for type ('a, 'b) t = Left of 'a | Right of 'b |
| From: | Matthias Goergens <matthias.goergens@xxxxxxxxxx> |
| Date: | Tue, 16 Mar 2010 11:29:47 +0000 |
| Delivery-date: | Tue, 16 Mar 2010 04:22:23 -0700 |
| 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 |
and helper functions. stdext/Makefile | 2 +- stdext/either.ml | 24 ++++++++++++++++++++++++ stdext/either.mli | 18 ++++++++++++++++++ 3 files changed, 43 insertions(+), 1 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] [PATCH] in stdext/Opt: Renamed cat_options to cat_some, to be more in line with the coming either module, Matthias Goergens |
|---|---|
| Next by Date: | [Xen-API] [PATCH] prevent the artificial-reboot-delay being applied in the API callpath, David Scott |
| Previous by Thread: | [Xen-API] [PATCH] in stdext/Opt: Renamed cat_options to cat_some, to be more in line with the coming either module, Matthias Goergens |
| Next by Thread: | [Xen-API] [PATCH] prevent the artificial-reboot-delay being applied in the API callpath, David Scott |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
