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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 6EA24BC57 for ; Wed, 3 Nov 2010 17:23:36 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AucFAAYp0Uxii1v0ZWdsb2JhbACDIpARjkgNCgkHEQUfrj88gheFUIkGAQQEAYEdgzFzBIRXiQY X-IronPort-AV: E=Sophos;i="4.58,289,1286143200"; d="scan'208";a="64814419" Received: from nm13-vm0.bullet.mail.sp2.yahoo.com ([98.139.91.244]) by mail3-smtp-sop.national.inria.fr with SMTP; 03 Nov 2010 17:23:35 +0100 Received: from [98.139.91.70] by nm13.bullet.mail.sp2.yahoo.com with NNFMP; 03 Nov 2010 16:23:33 -0000 Received: from [98.139.91.43] by tm10.bullet.mail.sp2.yahoo.com with NNFMP; 03 Nov 2010 16:23:33 -0000 Received: from [127.0.0.1] by omp1043.mail.sp2.yahoo.com with NNFMP; 03 Nov 2010 16:23:33 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 743640.98554.bm@omp1043.mail.sp2.yahoo.com Received: (qmail 48178 invoked by uid 60001); 3 Nov 2010 16:23:33 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1288801413; bh=TFQRnvvuoFSY/KnKLfl7nHb2r9Qdeu4/3uPqcPJ9DAg=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=W7UMmVYS81GPWQQYTO68rzGT3ERI5FEJRNk1yHu61YWA03ug+NaSx2ESzfJeNSisN1gdu5aqUs+FQjl1DeHQIqPr/jrhKvj2lkzatAnzxWPyd96u/txoR/YanzNSNYkqv9RmtPZEEVvxBKAl+ea2RtfcaHq3/ZuEopz2WxbIEeo= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=ADzAgjaMCUpTjKN5mXZKK70MLsNk2gVfpRU4XskM4RoON5O9N89lmmM71MUzTpnQ4rR3YYJ6VjP9X/xUsbxB/E3CMIuIziyN8W1pt3LN3d2n1E3XjNYJm0EETDdbP655raR9R769VhKRA2KFImLC8htgyJuHZEkG6g9gjvaZnBc=; Message-ID: <243692.48124.qm@web111513.mail.gq1.yahoo.com> X-YMail-OSG: 3V50qb8VM1kTvmxSo63XlQvmIvlfPzWsSU4_Vzdvhb1._1L iQgEgW4VTRePeXWExxaSAW8Ih_cGV2fBurutuLfwCKuKomyl1miVkSrEFsV8 fhddsRqv7XAjJszN6aA3lwBqzmGxEpt2towI17YkxnvfKVUKb.zddbSXrOR9 eR6WzbSQq5wWP1iX2Kpt6rdIKltC0khrGW8_d81x9ERu7Ar6VoAUkx8xXfBi DTjRo16g7n5hLYLO3p9imaz1lCT_zgYMSbY28x.mOKJAX0rRrABlsqQHKqz1 Hm92daUYjr_ZGkoDYibqKGUyYWzZ6CS1015A1I.m2L2N3RWFKo9rMrIuA1Gl DW2bBfQWQblGh5_pxZML6kA3UqAyy8lA0A4zqyOpF_w-- Received: from [213.205.70.219] by web111513.mail.gq1.yahoo.com via HTTP; Wed, 03 Nov 2010 09:23:32 PDT X-Mailer: YahooMailClassic/11.4.9 YahooMailWebService/0.8.107.284920 Date: Wed, 3 Nov 2010 09:23:32 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] Re: type inference problem with Printf.sprintf ? To: Sylvain Le Gall , Benedikt Grundmann Cc: caml-list@inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; inference:01 printf:01 sprintf:01 ocaml:01 node:01 stubs:01 libc:01 cheers:01 unix:01 caml-list:01 functions:01 functions:01 native:03 problem:05 core:09 Hi,=0A=0A> core's (http://ocaml.janestreet.com/?q=3Dnode/13) Date.t and TZ.= t=0A> also contain lots of functions that help dealing with dates.=0A=0AOne= feature that Core supports and that is sorely missed in Calendar=0Ais nati= ve handling of the timezone database present in Unix systems.=0ASure, Calen= dar does have some rudimentary knowledge of timezones, but=0AI've come acro= ss situations where it's not enough, forcing me to write=0AC stubs to direc= tly access the Libc timezone handling functions (which=0Aare not pretty).= =0A=0ACheers,=0ADario Teixeira=0A=0A=0A=0A