From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 2F0EBBBB7 for ; Tue, 25 Jul 2006 01:28:45 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.175]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k6ONSiZq031750 for ; Tue, 25 Jul 2006 01:28:44 +0200 Received: by ug-out-1314.google.com with SMTP id e2so2499588ugf for ; Mon, 24 Jul 2006 16:28:44 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer; b=kZqtyp7fGcCknBH1ZkBzebofSTbRwiydbsUyO8XTSs06ItlWcb+odo24/GVZbe0gpYyDixZrEQS9QzQ9ODPoNf7HFMQXpMa5/FDQiuoS7//ViemZuHZH1Uh0TIDC/6cW9xNp5Q9FIcdIU0z6A5YO1EIQtTjVfynOsolwHoztVtc= Received: by 10.66.240.12 with SMTP id n12mr4112843ugh; Mon, 24 Jul 2006 16:28:44 -0700 (PDT) Received: from ?192.168.0.101? ( [88.3.2.248]) by mx.gmail.com with ESMTP id o1sm14281uge.2006.07.24.16.28.43; Mon, 24 Jul 2006 16:28:44 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.2) Content-Transfer-Encoding: 7bit Message-Id: <341747D2-7F0D-4F45-BEF1-CBE085894BE1@gmail.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: caml-list From: Joel Reymont Subject: LexiFI and conversion to date Date: Tue, 25 Jul 2006 00:28:44 +0100 X-Mailer: Apple Mail (2.752.2) X-j-chkmail-Score: MSGID : 44C557AC.000 on nez-perce : j-chkmail score : X : 0/20 1 X-Miltered: at nez-perce with ID 44C557AC.000 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 let:03 folks:07 type:13 does:14 conversion:16 presentation:16 thanks:16 2002:17 2002:17 what:23 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=DNS_FROM_RFC_ABUSE,RCVD_BY_IP autolearn=disabled version=3.0.3 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? Thanks, Joel -- http://wagerlabs.com/