RE: [Xen-API] [PATCH] Extensions to the extended standard librar

To:	Matthias Goergens <matthias.goergens@xxxxxxxxxx>, "xen-api@xxxxxxxxxxxxxxxxxxx" <xen-api@xxxxxxxxxxxxxxxxxxx>
Subject:	RE: [Xen-API] [PATCH] Extensions to the extended standard library (stdext)
From:	Dave Scott <Dave.Scott@xxxxxxxxxxxxx>
Date:	Tue, 26 Jan 2010 15:36:50 +0000
Accept-language:	en-US
Acceptlanguage:	en-US
Cc:
Delivery-date:	Tue, 26 Jan 2010 07:37:10 -0800
Envelope-to:	www-data@xxxxxxxxxxxxxxxxxxx
In-reply-to:	<8b81395fd12ce37f0391.1264518089@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:	<8b81395fd12ce37f0391.1264518089@matthias-desktop>
Sender:	xen-api-bounces@xxxxxxxxxxxxxxxxxxx
Thread-index:	Acqem7511PiwktsWSV+TCDw2teHD6QAAYoAw
Thread-topic:	[Xen-API] [PATCH] Extensions to the extended standard library (stdext)

Hi Matthias,

Could you add a

 Signed-off-by: name <email address>

to the commit comment and resend?

Thanks!
Dave

> -----Original Message-----
> From: xen-api-bounces@xxxxxxxxxxxxxxxxxxx [mailto:xen-api-
> bounces@xxxxxxxxxxxxxxxxxxx] On Behalf Of Matthias Görgens
> Sent: 26 January 2010 15:01
> To: xen-api@xxxxxxxxxxxxxxxxxxx
> Subject: [Xen-API] [PATCH] Extensions to the extended standard library
> (stdext)
> 
> - to the Map module
> - to the List module
> - and some functional combinators (like compose with (++)) in Fun
> module
> 
> 
>  stdext/Makefile         |   4 ++--
>  stdext/fun.ml           |  18 ++++++++++++++++++
>  stdext/fun.mli          |   6 ++++++
>  stdext/listext.ml       |   4 ++++
>  stdext/listext.mli      |   3 +++
>  stdext/mapext.ml        |  47
> +++++++++++++++++++++++++++++++++++++++++++++++
>  stdext/mapext.mli       |  31 +++++++++++++++++++++++++++++++
>  stdext/opt.ml           |  11 +++++++++++
>  stdext/opt.mli          |   1 +
>  stdext/pervasiveext.ml  |   9 +++++++++
>  stdext/pervasiveext.mli |   3 +++
>  11 files changed, 135 insertions(+), 2 deletions(-)
> 


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

WARNING - OLD ARCHIVES

xen-api

RE: [Xen-API] [PATCH] Extensions to the extended standard library (stdex