From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 5FBFFBB88 for ; Tue, 19 Jul 2005 16:19:39 +0200 (CEST) Received: from mx3.messagingengine.com (mx3.messagingengine.com [66.111.4.72]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6JD66w2022179 for ; Tue, 19 Jul 2005 15:06:07 +0200 Received: by mx3.messagingengine.com (Postfix) id 42D94ABD98C; Tue, 19 Jul 2005 08:24:40 -0400 (EDT) Date: Tue, 19 Jul 2005 08:24:40 -0400 (EDT) From: MAILER-DAEMON@messagingengine.com (Mail Delivery System) Subject: Delayed Mail (still being retried) To: caml-list-admin@yquem.inria.fr MIME-Version: 1.0 Content-Type: multipart/report; report-type=delivery-status; boundary="BED6CAAC203.1121775880/mx3.messagingengine.com" Message-Id: <20050719122440.42D94ABD98C@mx3.messagingengine.com> X-Miltered: at nez-perce with ID 42DCFABE.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; delayed:01 1.0:98 resend:02 problem:05 host:89 assistance:87 attached:13 U4:83 U4:83 warning:19 include:19 report:80 could:20 imap:20 imap:20 X-Attachments: type="text/rfc822-headers" X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 This is a MIME-encapsulated message. --BED6CAAC203.1121775880/mx3.messagingengine.com Content-Description: Notification Content-Type: text/plain This is the Postfix program at host mx3.messagingengine.com. #################################################################### # THIS IS A WARNING ONLY. YOU DO NOT NEED TO RESEND YOUR MESSAGE. # #################################################################### Your message could not be delivered for 2.0 hours. It will be retried until it is 1.0 days old. For further assistance, please send mail to If you do so, please include this problem report. You can delete your own text from the attached returned message. The Postfix program : connect to /var/imap/socket/lmtpprox[/var/imap/socket/lmtpprox]: Connection refused --BED6CAAC203.1121775880/mx3.messagingengine.com Content-Description: Delivery report Content-Type: message/delivery-status Reporting-MTA: dns; mx3.messagingengine.com X-Postfix-Queue-ID: BED6CAAC203 X-Postfix-Sender: rfc822; caml-list-admin@yquem.inria.fr Arrival-Date: Tue, 19 Jul 2005 05:49:15 -0400 (EDT) Final-Recipient: rfc822; ogrisel@emailuser.net Action: delayed Status: 4.0.0 Diagnostic-Code: X-Postfix; connect to /var/imap/socket/lmtpprox[/var/imap/socket/lmtpprox]: Connection refused Will-Retry-Until: Wed, 20 Jul 2005 05:49:15 -0400 (EDT) --BED6CAAC203.1121775880/mx3.messagingengine.com Content-Description: Undelivered Message Headers Content-Type: text/rfc822-headers Received: from tmp.ensta.org (tmp.ensta.org [147.250.22.1]) by mx3.messagingengine.com (Postfix) with ESMTP id BED6CAAC203 for ; Tue, 19 Jul 2005 05:49:15 -0400 (EDT) Received: by tmp.ensta.org (Postfix) id 0760AB848F; Tue, 19 Jul 2005 11:55:25 +0200 (CEST) Delivered-To: olivier.grisel@ensta.org Received: from localhost (localhost [127.0.0.1]) by tmp.ensta.org (Postfix) with ESMTP id 82FBBB848E for ; Tue, 19 Jul 2005 11:55:24 +0200 (CEST) Received: from tmp.ensta.org ([147.250.22.1]) by localhost (tmp.ensta.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 05760-09 for ; Tue, 19 Jul 2005 11:55:18 +0200 (CEST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by tmp.ensta.org (Postfix) with ESMTP id 7415BB8488 for ; Tue, 19 Jul 2005 11:55:18 +0200 (CEST) Received: from yquem.inria.fr (yquem.inria.fr [128.93.8.37]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6J9g1Ab031037; Tue, 19 Jul 2005 11:42:05 +0200 Received: from yquem.inria.fr (localhost [127.0.0.1]) by yquem.inria.fr (Postfix) with ESMTP id 9391FBCAF; Tue, 19 Jul 2005 11:42:01 +0200 (CEST) Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 8ACCFBCAE for ; Tue, 19 Jul 2005 11:35:31 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6J9ZVrc025318 for ; Tue, 19 Jul 2005 11:35:31 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA11544 for ; Tue, 19 Jul 2005 11:35:30 +0200 (MET DST) Received: from rwcrmhc11.comcast.net (rwcrmhc11.comcast.net [204.127.198.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6J9ZTox030167 for ; Tue, 19 Jul 2005 11:35:29 +0200 Received: from [192.168.1.4] (c-24-10-253-157.hsd1.ut.comcast.net[24.10.253.157]) by comcast.net (rwcrmhc11) with ESMTP id <2005071909352701300rh1mse>; Tue, 19 Jul 2005 09:35:27 +0000 Message-ID: <42DCC95F.6050303@cs.utah.edu> Date: Tue, 19 Jul 2005 03:35:27 -0600 From: Robert Morelli User-Agent: Mozilla Thunderbird 1.0 (X11/20041206) X-Accept-Language: en-us, en MIME-Version: 1.0 To: james woodyatt Cc: Ocaml Subject: Re: [Caml-list] (Mostly) Functional Design? References: <9cc3782b05071411004b27b6a4@mail.gmail.com> <42DB6161.4030507@cs.utah.edu> <006801c58ba4$0b7bfe60$322cf8c1@oemcomputer> <42DBCA16.3000002@barettadeit.com> <18c83100e1769d1005e6f423c6003566@wetware.com> In-Reply-To: <18c83100e1769d1005e6f423c6003566@wetware.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 42DCCAE9.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42DCC963.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42DCC961.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; morelli:01 morelli:01 caml-list:01 woodyatt:01 ocaml:01 haskell:01 hudak:01 monads:01 monads:01 programmer's:01 semantics:01 haskell:01 felleisen:01 findler:01 flatt:01 Sender: caml-list-admin@yquem.inria.fr Errors-To: caml-list-admin@yquem.inria.fr X-BeenThere: caml-list@yquem.inria.fr X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Caml users' mailing list --BED6CAAC203.1121775880/mx3.messagingengine.com--