From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <denis.berthod@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
	by yquem.inria.fr (Postfix) with ESMTP id 6089CBBB7
	for <caml-list@yquem.inria.fr>; Tue, 25 Jul 2006 09:50:48 +0200 (CEST)
Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.191])
	by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k6P7ol54030304
	for <caml-list@yquem.inria.fr>; Tue, 25 Jul 2006 09:50:48 +0200
Received: by nf-out-0910.google.com with SMTP id g2so137946nfe
        for <caml-list@yquem.inria.fr>; Tue, 25 Jul 2006 00:50:47 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:to:subject:mime-version:content-type;
        b=DazBc11ZbluyaeVEdlv6GdbeQZHocZyYLdbg/uDa/KVxDPKDz7JP7E0BzNs1LiynKsWifAv7zmZJgu7PC3GJ9l3xF26CMSWuSLlCxbxFI1BPkXosKl//SQpXKUir3hElfnFjO8MbD+UX/2hC/SqPrpRwMdccF9DAX8p20BxAdoQ=
Received: by 10.78.179.12 with SMTP id b12mr2161304huf;
        Tue, 25 Jul 2006 00:50:47 -0700 (PDT)
Received: by 10.78.117.14 with HTTP; Tue, 25 Jul 2006 00:50:47 -0700 (PDT)
Message-ID: <889380120607250050x31c7fe2bm201daf13c030445@mail.gmail.com>
Date: Tue, 25 Jul 2006 09:50:47 +0200
From: "Denis Berthod" <denis.berthod@gmail.com>
To: caml-list@yquem.inria.fr
Subject: Re: LexiFI and conversion to date
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_206448_29479400.1153813847707"
X-j-chkmail-Score: MSGID : 44C5CD57.001 on nez-perce : j-chkmail score : X : 0/20 1
X-Miltered: at nez-perce with ID 44C5CD57.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; lexifi:01 lexifi:01 notation:01 val:01 translated:01 ocaml:01 compilers:01 mlfi:01 ocaml:01 toplevel:01 notation:01 val:01 translated:01 compilers:01 mlfi:01 
X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.5 required=5.0 tests=DNS_FROM_RFC_ABUSE,HTML_30_40,
	HTML_MESSAGE,RCVD_BY_IP autolearn=disabled version=3.0.3

------=_Part_206448_29479400.1153813847707
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

> Folks,
>
> I see this in the LexiFI presentation:
>
> # let t1 = 2002-12-20T16:00 (* ISO 8601 notation *) ;;
> val t1 : date = 2002-12-20T16:00:00
>
> What type of a value is 2002-12-20T16:00 and how does it get
> translated into a date?
>

Hello,
We use an *extended* version of the Ocaml compilers in order to describe
complex financial products. In particular, we added a  native date type in
MLFi, our version of OCaml.

So the type of 2002-12-20T16:00 is date as shown by the toplevel answer.

Denis

------=_Part_206448_29479400.1153813847707
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

<br><div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Folks,<br><br>I see this in the LexiFI presentation:<br><br># let t1 = 2002-12-20T16:00 (* ISO 8601 notation *) ;;
<br>val t1 : date = 2002-12-20T16:00:00<br><br>What type of a value is 2002-12-20T16:00 and how does it get<br>translated into a date?<br></blockquote></div><br>Hello,<br>We use an *extended* version of the Ocaml compilers in order to describe complex financial products. In particular, we added a&nbsp; native date type in MLFi, our version of OCaml.
<br><br>So the type of 2002-12-20T16:00 is date as shown by the toplevel answer.<br><br>Denis<br><br>

------=_Part_206448_29479400.1153813847707--