From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 236ECBC40 for ; Tue, 26 Oct 2004 18:06:15 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i9QG6Ep6015364 for ; Tue, 26 Oct 2004 18:06:14 +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 SAA10582 for ; Tue, 26 Oct 2004 18:06:14 +0200 (MET DST) Received: from mail.davidb.org (adsl-64-172-240-129.dsl.sndg02.pacbell.net [64.172.240.129]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i9QG6BfD015351 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 26 Oct 2004 18:06:13 +0200 Received: from davidb by mail.davidb.org with local (Exim 4.42 #1 (Debian)) id 1CMTph-0005A6-Qc; Tue, 26 Oct 2004 09:06:01 -0700 Date: Tue, 26 Oct 2004 09:06:01 -0700 From: David Brown To: Alex Baretta Cc: Tiago Dionizio , Caml Mailing List Subject: Re: [Caml-list] *s ignored on windows gui Message-ID: <20041026160601.GA19671@old.davidb.org> References: <417E7200.20902@baretta.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <417E7200.20902@baretta.com> User-Agent: Mutt/1.5.6i X-Miltered: at nez-perce with ID 417E75F6.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 417E75F3.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 caml-list:01 baretta:01 wrote:01 stdout:01 26,:98 unit:02 string:03 alex:03 gui:03 'e':05 problem:05 quite:06 tue:06 looks:07 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.0 X-Spam-Level: On Tue, Oct 26, 2004 at 05:49:20PM +0200, Alex Baretta wrote: > ># print_string "**e";; > >e- : unit = () > > Try flushing stdout. I don't think it will help, since the 'e' is getting printed, just not the '*'s before it. I don't see anything in the source that looks like it would cause this problem, but there might be something subtle. Did it happen with 3.07? The windows code changed quite a bit between. Dave