From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 163FCBC57; Tue, 31 Aug 2010 01:14:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq0BANrXe0xKfVK2imdsb2JhbACgYQgVAQEBCgkMBw8FH4gknECJJ4IThikuiFQBAQMFhTIE X-IronPort-AV: E=Sophos;i="4.56,295,1280700000"; d="scan'208";a="56201683" Received: from mail-wy0-f182.google.com ([74.125.82.182]) by mail3-smtp-sop.national.inria.fr with ESMTP; 31 Aug 2010 01:14:17 +0200 Received: by wyb33 with SMTP id 33so9610827wyb.27 for ; Mon, 30 Aug 2010 16:14:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:from:to:subject:date :message-id:mime-version:content-type:content-transfer-encoding :x-mailer:thread-index:content-language:x-cr-hashedpuzzle :x-cr-puzzleid; bh=peUVM35gAOxqsHLnWiZhBjv/LQSjlgN0v1ksZoGQUMk=; b=YNyU96e+0EjLv+gNdhNbVq93ZkXl30lDF0fhS+KIj3vuRbygA9xaqarnYtQi3RsZgx yqhqwVoiSHf8nlX262IoONjrBGW9g/wyC5y/u83J3H7HAKQ3egmLlF53LTlag09sYuL9 /rQxquAD/h1cjIUQ5V4fu4UqpckXwwqlD6Tjs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:to:subject:date:message-id:mime-version:content-type :content-transfer-encoding:x-mailer:thread-index:content-language :x-cr-hashedpuzzle:x-cr-puzzleid; b=tb7aJjt2UNtPMZGoEKh92ExgO/LTq3wgCnhBwmBKDPjHTv/PzKZk5vUg4JcotpmIC2 xm4SUndHiu9svihqGeEJTH3Gjhm7Y/7Kf8qpQq3/Rr3cj5qAXtlOL6ZGljC/J67Xw1gp 7f4Eik5hdtcx77xiwRAy5Ad4r47Z7O1aCvrj4= Received: by 10.216.157.207 with SMTP id o57mr900471wek.38.1283210056866; Mon, 30 Aug 2010 16:14:16 -0700 (PDT) Received: from clemlaptop (ip-43.net-81-220-116.brest.rev.numericable.fr [81.220.116.43]) by mx.google.com with ESMTPS id n17sm4843887weq.6.2010.08.30.16.14.16 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 30 Aug 2010 16:14:16 -0700 (PDT) From: Andrew To: , Subject: Using tuareg mode with Caml Light Date: Tue, 31 Aug 2010 01:14:17 +0200 Message-ID: <4c7c3b48.91e8d80a.06d8.0681@mx.google.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Mailer: Microsoft Office Outlook 12.0 Thread-Index: ActIloUFNp0S1G7ASqqth/4gF2cm0QAAZEtgAAAkZaA= Content-Language: fr x-cr-hashedpuzzle: ALoC CG1R C/Wi DLu1 EVN0 EoYm Fm2h H6lp I8is LLaL MohW O6XH TNcY Tbcl UEa7 WOZX;2;YwBhAG0AbAAtAGwAaQBnAGgAdABAAGkAbgByAGkAYQAuAGYAcgA7AGMAYQBtAGwALQBsAGkAcwB0AEAAaQBuAHIAaQBhAC4AZgByAA==;Sosha1_v1;7;{317C48C2-3A6E-408D-83F1-89102F6F9373};bgBlAHcAcwBnAHIAbwB1AHAAcwAuAGYAcgBAAGcAbQBhAGkAbAAuAGMAbwBtAA==;Mon, 30 Aug 2010 23:14:13 GMT;VQBzAGkAbgBnACAAdAB1AGEAcgBlAGcAIABtAG8AZABlACAAdwBpAHQAaAAgAEMAYQBtAGwAIABMAGkAZwBoAHQA x-cr-puzzleid: {317C48C2-3A6E-408D-83F1-89102F6F9373} X-Spam: no; 0.00; tuareg:01 tuareg:01 exited:01 caml:02 caml:02 argument:02 seems:03 problem:05 problem:05 fails:05 inria:06 incorrect:06 camllight:07 anybody:07 invalid:11 Hello, Under my Windows 7, tuareg fails to run camllight, with the following error: comint-send-string: writing to process: invalid argument, caml-toplevel Or with the error Process caml-toplevel exited abnormally with code 2 When sending an incorrect statement. Does anybody know how to solve this problem? Additionally, it seems that the problem was also reported at http://caml.inria.fr/mantis/view.php?id=4977 Thanks, Andrew.