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 q2DNKvkQ009075 for ; Wed, 14 Mar 2012 00:20:57 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtUBAAzVX0/RVdU2kGdsb2JhbABDpCWRQggiAQEBAQkJDQcUBCOCCQEBAQQSAiwBGxILAQMMBgULAwoNISIBEQEFAQoSBhMJCRCHaAudfgqLfoJxhQ0/iHQBBQuQawSVUI5FPYQi X-IronPort-AV: E=Sophos;i="4.73,579,1325458800"; d="scan'208";a="149203174" Received: from mail-yw0-f54.google.com ([209.85.213.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Mar 2012 00:20:51 +0100 Received: by yhgm50 with SMTP id m50so1763356yhg.27 for ; Tue, 13 Mar 2012 16:20:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=/WGAbyC20uPPt1wCBaE2UhbbDqSoVt3GFDkQUkuBLXg=; b=bUPlXQUKUBvGgu3T/OgjdCfLRE9wcryaGZRbglLx/EKgIjTXCmA19dcztGovH1Snhb jY2xZsQstt5K4/75hUU+JKXHuzwgkt5jhCAddLp51/+KXiV3+Ux+CBqMAjGN+Gybj2rm tMRScp9jf6zPQJgaBPPYmcxvkUixnL3P38B5Z4niV32uAKa/H53LzW4N2nresS9IoJ6b UYkD4jBEtbs+Re3p0l1BpCR8dWsLIZLpoVY3sJdxrW2M4rSzD2ybjk0pHEm0OzzlnrSK /ZyHsYqLDTHfJcMY3VKIQHF3Hwp3GnHHRQkQWjFBmO22KNU23z8FPDeFhPo88JypQlVf a/+Q== MIME-Version: 1.0 Received: by 10.236.189.98 with SMTP id b62mr579610yhn.9.1331680850683; Tue, 13 Mar 2012 16:20:50 -0700 (PDT) Received: by 10.236.22.230 with HTTP; Tue, 13 Mar 2012 16:20:50 -0700 (PDT) In-Reply-To: <747ffc6fd1465f32ace1cdbb7d1c5100.squirrel@gps.dynxs.de> References: <747ffc6fd1465f32ace1cdbb7d1c5100.squirrel@gps.dynxs.de> Date: Tue, 13 Mar 2012 19:20:50 -0400 Message-ID: From: bob zhang To: Gerd Stolpmann Cc: Caml List Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q2DNKvkQ009075 Subject: Re: [Caml-list] Parsing cmi file Thanks. I know the dirty tricks, is there some way not that dirty? Godi did pretty printing this way? On Tue, Mar 13, 2012 at 6:36 PM, Gerd Stolpmann wrote: > >> Hi list, >>    I noticed that Godi can pretty print cmi files, is there already >> libraries parsing cmi files? > > Yes, toplevellib.cma (i.e. the ocaml toploop). It's a silly trick. Run the > toploop and do > > module M = ;; > > and the toploop responds. > > Gerd > >> Many thanks >> -- >> -- Bob >> >> -- >> Caml-list mailing list.  Subscription management and archives: >> https://sympa-roc.inria.fr/wws/info/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs >> >> >> > > > -- > Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de > Creator of GODI and camlcity.org. > Contact details:        http://www.camlcity.org/contact.html > Company homepage:       http://www.gerd-stolpmann.de > *** Searching for new projects! Need consulting for system > *** programming in Ocaml? Gerd Stolpmann can help you. > -- -- Bob