From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 4D742BBAF for ; Tue, 1 Jun 2010 21:08:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnMCADL3BExiiCwlkWdsb2JhbACRfC+MIgEBAQEJCwoHEQMfshWCAoVTiH0BBAQBhREEg0g X-IronPort-AV: E=Sophos;i="4.53,341,1272837600"; d="scan'208";a="63795986" Received: from n61.bullet.mail.sp1.yahoo.com ([98.136.44.37]) by mail4-smtp-sop.national.inria.fr with SMTP; 01 Jun 2010 21:08:39 +0200 Received: from [69.147.84.145] by n61.bullet.mail.sp1.yahoo.com with NNFMP; 01 Jun 2010 19:08:38 -0000 Received: from [98.136.44.161] by t8.bullet.mail.sp1.yahoo.com with NNFMP; 01 Jun 2010 19:08:38 -0000 Received: from [127.0.0.1] by omp602.mail.sp1.yahoo.com with NNFMP; 01 Jun 2010 19:08:38 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 265117.89619.bm@omp602.mail.sp1.yahoo.com Received: (qmail 27401 invoked by uid 60001); 1 Jun 2010 19:08:38 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1275419318; bh=q9LqSGq6nAHncHSYPQzbK1GNMBiRSxvT6RzgW5JmBDY=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type; b=h9ertOXkmC7J7sG5miw3zBavKCcFPpFjPNdItdAhkw1kPg387GX+pf+lV7r6ZnZsEiZXPGCWzoh4POVmMyVKUDO5HcSGzCJIwICYPfn9UbShbX0r6frwd3gdbdYFWXlGl6nzptRC1x2raqlz321TlAvCf+eICR+csAtfWMF6agE= 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:MIME-Version:Content-Type; b=G94y1hzu6lfMxScRbJZoINGn7M80aqmp43y2LnOxu1FyrVQTPG1boNfYtuA4OP6VB5o2/dSLYFskVmAdW+VuL7bC8jtVAvQagH7QmITwMnZpVxzFuDcRzWqJXzq56WmYo2hsOIeHSaHYmULdKnne48nRvVThhC7BFBkAzYuJJ/g=; Message-ID: <983.27376.qm@web45108.mail.sp1.yahoo.com> X-YMail-OSG: 4lF7k9wVM1l9Wvbo3HyJuLnpSCeYfDp4V5ZZ0y11yQNcsyJ iFRrLo3Q6OyuEhlm4cMyPgopaxwa8A6V1sIk5lvdLdFLqHEVGhHKYwfArqNR Ue9ecBoLsHIYgJ9cv9vLtA6NlMsXAGZ06pD8ZC3mAJeuBUzQwZ4XSM0sLGyZ r9foFMiN9UecpIndiZwS90YJ9wTsrpDTR4q3hRIQvuJDLNhYciNniirtJ1uA ORglH1ib.C7xq6nwtbLvWrwQfLpy9kDPz0_vqzzjHO_9RnN57.Sc4PXSpADN b30e3Epco1K5xZup0xOEiZoyt7c1FWbq.ASDTqcwd7rK9d0df1476FfxjOm7 U7dixI33ZCxFgPodwRn0lhaeMxxI3Vxc9HVNI Received: from [213.65.123.107] by web45108.mail.sp1.yahoo.com via HTTP; Tue, 01 Jun 2010 12:08:37 PDT X-Mailer: YahooMailRC/374.4 YahooMailWebService/0.8.103.269680 Date: Tue, 1 Jun 2010 12:08:37 -0700 (PDT) From: Peter Ronnquist Subject: Re: [Caml-list] Static exception analysis or alternative to using exceptions To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam: no; 0.00; compiler:01 ocaml:01 wrote:01 wrote:01 exception:01 exception:01 caml-list:01 exceptions:01 exceptions:01 static:03 library:03 library:03 inclusion:04 useless:07 batteries:91 Richard Jones wrote: "... All in all, this is not ideal for writing correct programs. Some sort of exception analysis would be most welcome." Doesn't the "catch me if you can" library provide this? Among the listed features are: * case coverage (i.e. the compiler can tell you if you forgot a case or sometimes if you wrote useless ones) Isn't it so that the "catch me if you can" library solves most (all?) problems related to error handling through exceptions in ocaml? (The "Batteries included" project has listed it as a possible inclusion for future versions (http://www.cocan.org/osr/batteriesincluded) Regards Peter R