From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2DLqher006627
	for <caml-list@sympa-roc.inria.fr>; Tue, 13 Mar 2012 22:52:43 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmMBAOnAX0/RVaG2kGdsb2JhbABDtWcIIgEBAQEJCQ0HFAQjgiICLAEbHgMSEF0BEQEFASI1h2ibUIJdCot+gnGFFD+IdAEFC5BrBJVQjkU9hCI
X-IronPort-AV: E=Sophos;i="4.73,579,1325458800"; 
   d="scan'208";a="149193538"
Received: from mail-gx0-f182.google.com ([209.85.161.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Mar 2012 22:52:38 +0100
Received: by ggnk4 with SMTP id k4so1679933ggn.27
        for <caml-list@inria.fr>; Tue, 13 Mar 2012 14:52:37 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=9jiuTSqwx3lC7z4fqG/R3TjZxJAFIrOG+7pl6yPlO5Q=;
        b=t1oUf+gr3p8Zz21//X7CUMcOpv9q5+hvuOHwz7L6lHiFxjvn2cw55hXp/TptZJyr8p
         6Zz/bKJItCakZ02QRJe34kAwwY1GHXcsa6gOQJ3AcKh/khZoMeR2yv1x2+nijiUyzL6A
         OGN8JMFrLmi0TswvAkB/VnkWOso31DjBxHeVrS2ZQ1DcwSboB8W+urXtShRW+RSQ6UM8
         B8buXP0yxu8vnC6jE+SQxfqp1VKM9yhfg8Mg0JqL9Dd9UOgupc3032ktUJj6TNKfVlD2
         5krLAO3kr2Jucdw2N41ragtpFFKcNxH5+dCGWKYIc8FFyRcHaA05K/Yt2Q3c+xYRvVVW
         kamw==
MIME-Version: 1.0
Received: by 10.101.3.33 with SMTP id f33mr34650ani.80.1331675557300; Tue, 13
 Mar 2012 14:52:37 -0700 (PDT)
Received: by 10.236.22.230 with HTTP; Tue, 13 Mar 2012 14:52:37 -0700 (PDT)
Date: Tue, 13 Mar 2012 17:52:37 -0400
Message-ID: <CANcqPu7nMRW66UDZiZMTUBr9uDs0bx2nknqX-LEvxhjjvS4rqg@mail.gmail.com>
From: bob zhang <bobzhang1988@gmail.com>
To: Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: [Caml-list] Parsing cmi file

Hi list,
   I noticed that Godi can pretty print cmi files, is there already
libraries parsing cmi files?
Many thanks
-- 
-- Bob