From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.7 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 1DDA0BBBB for ; Thu, 14 Sep 2006 13:57:21 +0200 (CEST) Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.228]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8EBvKKK025181 for ; Thu, 14 Sep 2006 13:57:20 +0200 Received: by wx-out-0506.google.com with SMTP id s6so2993568wxc for ; Thu, 14 Sep 2006 04:57:18 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=o1xV9ciFl/baY0gHYNFBK+tMumF6SJ0ANf18L/pPbsH5fINFAAK/nps9dIYUITDeAsXmFrjZiXOgMxPp4ZauyHtgluqNMO2ysi9FUtSNpk2L0aO63XVrHE9MIGkh4UFlwTLg3cBcD7gVEN+8x7fT473VUvTP5onXYPeZXxMXHas= Received: by 10.70.80.6 with SMTP id d6mr14975577wxb; Thu, 14 Sep 2006 04:57:17 -0700 (PDT) Received: by 10.70.84.13 with HTTP; Thu, 14 Sep 2006 04:57:17 -0700 (PDT) Message-ID: Date: Thu, 14 Sep 2006 23:57:17 +1200 From: "Jonathan Roewen" To: "Caml Mailing List" Subject: [Caml-list] Toploop behaviour MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-j-chkmail-Score: MSGID : 450943A0.000 on discorde : j-chkmail score : X : 0/20 1 X-Miltered: at discorde with ID 450943A0.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; toploop:01 toplevel:01 toploop:01 stdout:01 stderr:01 compiler:01 caml-list:01 behaviour:01 problem:05 formatter:05 formatter:05 probably:06 i'm:08 object:09 ...:90 Hi, I'm using the toplevel, using Toploop.loop, which takes a Format.formatter object. The only problem is that it doesn't use it for all printing! E.g. parts of error messages, the warning messages and what not get printed on stdout/stderr irrespective of the formatter supplied. This even includes the prompt... =/ Is it possible for this to be fixed in later versions? Or is it because of the inner workings of the compiler parts themselves that these can't use the formatter (at least not without probably significant restructuring for very little benefit)? Jonathan