From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA08433 for caml-red; Tue, 6 Feb 2001 17:52:38 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA04938 for ; Tue, 6 Feb 2001 17:35:05 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f16GZ3L16271; Tue, 6 Feb 2001 17:35:03 +0100 (MET) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA06784; Tue, 6 Feb 2001 17:35:02 +0100 (MET) From: Pierre Weis Message-Id: <200102061635.RAA06784@pauillac.inria.fr> Subject: Re: Unbound type constructor In-Reply-To: <16911685873.20010205195844@gmx.de> from Stephan Tolksdorf at "Feb 5, 101 07:58:44 pm" To: andorxor@gmx.de (Stephan Tolksdorf) Date: Tue, 6 Feb 2001 17:35:02 +0100 (MET) Cc: caml-list@inria.fr X-Mailer: ELM [version 2.4ME+ PL28 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis@pauillac.inria.fr > Maybe this topic should be added to the faq? Yes I should do it. > Stephan Tolksdorf > > PS: Is it me or is the time a mail needs to get finally delivered when > it is posted via the list rather slow? No it is not you, it's me as well as for the FAQ entry: I'm the moderator of the Caml list, and that's my fault if messages are not bounced instantly to all the Caml list's subscribers! In fact I bufferize them, since I read all the posts before sending them to the list (this is partly to prevent spamming and partly to prevent flame wars on the list) and this needs some time; also, I get tired sometimes and go to bed and thus stop bouncing messages to the list; even worse, in some occasions, I may attend a conference such as POPL and be away from the list for days! Also, I'm suppose to do some work for INRIA other than managing this Caml list (e.g. attending meetings, writing O'Caml examples, articles, programs, etc); that's why I generally treat the mail from the list only once or twice a day. If this treatment of the list is considered harmful and not desirable, we can turn the list into some other mode, maybe a completely free (non-moderated) mode ... Best regards, Pierre Weis INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/