From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 9E12C7ED5C for ; Tue, 31 Jul 2012 09:11:37 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=80.91.229.3; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtIHAPGEF1BQW+UDgWdsb2JhbABFFqg9GIM0jDkEfAYCIgEBFiYngiABAQU4JBIKARALCw0JBBACDwkDAgECAQ8CIhITBgIBAQ6HawEDCwUHqQ2IVQoZJwMKV4h3imZoN4M2gxwDk3SBVIEUiXaDRIQ6 X-IronPort-AV: E=Sophos;i="4.77,681,1336341600"; d="scan'208";a="168632152" Received: from plane.gmane.org ([80.91.229.3]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 31 Jul 2012 09:11:27 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1Sw6c2-0006TK-1h for caml-list@inria.fr; Tue, 31 Jul 2012 09:11:26 +0200 Received: from 117.42.59.74 ([117.42.59.74]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 31 Jul 2012 09:11:25 +0200 Received: from bobzhang1988 by 117.42.59.74 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 31 Jul 2012 09:11:25 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Hongbo Zhang Date: Tue, 31 Jul 2012 03:11:02 -0400 Message-ID: <50178506.4070903@gmail.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@dough.gmane.org Cc: caml-list@inria.fr X-Gmane-NNTP-Posting-Host: 117.42.59.74 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:14.0) Gecko/20120713 Thunderbird/14.0 In-Reply-To: Subject: [Caml-list] Re: Beware of compiler internals (Was: ocamldoc for ocaml's compiler?) Hi Gabriel, There are a lot of things to explore having compiler as libraries. (another advantage compared with Haskell) Backward in-compatible is a minor issue if there's more documentation. Best -- Hongbo Zhang On 7/30/12 6:07 PM, Gabriel Scherer wrote: > Dear list, > > The new 4.00 release has added fairly interesting feature relying on > the compiler internals: the new -bin-annot option allowing to export > and manipulate the typedtree of an OCaml program has already stirred > interest among tools writers (see Jun Furuse's OCamlspotter changes, > or the questions of Hongbo Zhang). > > I just wanted to remark that the interface those tools expose are > *not* stabilized and will *certainly* change before the next OCaml > release: this code is very young, not reliable (don't expect all > features to work as advertized), and flaws will certainly be > discovered and fixed. > > To my knowledge, there is no compatibility guarantee coming from the > compiler writers. Please keep that in mind when experimenting with > those features: they are experimental, and if you decide to rely on > them everyone will be interested in your feedback, but you're on your > own and you should expect maintenance work (or even feature loss) > during the next few releases. > > Regards -- from San Francisco. > > On Thu, Jul 26, 2012 at 4:15 AM, Hongbo Zhang wrote: >> On 7/25/12 11:13 PM, Hongbo Zhang wrote: >>> >>> On 7/25/12 7:12 PM, Hongbo Zhang wrote: >>>> >>>> Hi List, >>>> Did anyone have a try to build ocamldoc's documentation for ocaml's >>>> compiler? >>>> Many Thanks >>>> >>> Hi, I managed to build documentation for ocaml compiler. Another problem >>> comes that ocamldoc prefers .mli to .ml which renders -keep-code not >>> useful. >>> Any ideas? >>> Once I finished, if people interested, I would be happy to share. >>> Thanks >>> >>> >> Hi, >> I put it here >> http://www.seas.upenn.edu/~hongboz/hongbo_zhang_files/typing.docdir/index.html >> >> >> >> -- >> 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 >> >