From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <db@tepkom.ru>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.8 required=5.0 tests=AWL,DATE_IN_FUTURE_03_06,
	SPF_FAIL autolearn=disabled version=3.1.3
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 90B1FBC6B
	for <caml-list@yquem.inria.fr>; Tue, 22 Jan 2008 21:04:51 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ah4FAP/alUdSs6cG/2dsb2JhbAA4rFA
X-IronPort-AV: E=Sophos;i="4.25,235,1199660400"; 
   d="scan'208";a="8184915"
Received: from oak.tepkom.ru ([82.179.167.6])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Jan 2008 21:04:51 +0100
Received: from localhost (localhost [127.0.0.1])
	by oak.tepkom.ru (Postfix) with ESMTP id 1427F2278D4
	for <caml-list@yquem.inria.fr>; Tue, 22 Jan 2008 23:04:50 +0300 (MSK)
X-Virus-Scanned: amavisd-new at tepkom.ru
Received: from oak.tepkom.ru ([127.0.0.1])
	by localhost (oak.tepkom.ru [127.0.0.1]) (amavisd-new, port 10024)
	with LMTP id JmLA3zliT5Sd for <caml-list@yquem.inria.fr>;
	Tue, 22 Jan 2008 23:04:49 +0300 (MSK)
Received: from [192.168.1.4] (ppp89-110-7-111.pppoe.avangarddsl.ru [89.110.7.111])
	(Authenticated sender: db)
	by oak.tepkom.ru (Postfix) with ESMTP id 56C7E226145
	for <caml-list@yquem.inria.fr>; Tue, 22 Jan 2008 23:04:49 +0300 (MSK)
Message-ID: <479676C5.3090001@tepkom.ru>
Date: Tue, 22 Jan 2008 23:05:41 +0000
From: Dmitri Boulytchev <db@tepkom.ru>
User-Agent: Mozilla Thunderbird 1.0.6 (X11/20050905)
X-Accept-Language: ru-ru, ru
MIME-Version: 1.0
To: caml-list <caml-list@yquem.inria.fr>
Subject: camlp5: bug?
Content-Type: text/plain; charset=KOI8-R
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; camlp:01 bug:01 camlp:01 cmo:01 expr:01 behaves:02 tepkom:02 module:03 let:03 dev:04 dev:04 null:05 null:05 submission:05 irrelevant:07 

    Sorry if this submission is irrelevant to the list, but I failed to
locate
more appropriate place for it.

    Given the file t.ml with the single line

                    () (let module X = Y in ())

   camlp5 behaves as shown below:

                   camlp5o t.ml >  /dev/null ---- ok
                   camlp5o pr_o.cmo t.ml > /dev/null --- Failure: unable
to print expr

    Best regards,
    Dmitri Boulytchev,
    St.Petersburg State University,
    St.Petersburg, Russia