From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 9A0D1BBC1 for ; Fri, 25 Apr 2008 19:38:34 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmkBAJqzEUjAXQIniGdsb2JhbACRWQEBAQ8gmwI X-IronPort-AV: E=Sophos;i="4.25,708,1199660400"; d="scan'208";a="25500979" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Apr 2008 19:38:34 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3PHcXc5012564 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 25 Apr 2008 19:38:34 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmkBANazEUhQRFuwiGdsb2JhbACRWQEBAQ8gmwM X-IronPort-AV: E=Sophos;i="4.25,708,1199660400"; d="scan'208";a="11933563" Received: from furbychan.cocan.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Apr 2008 19:38:33 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1JpRsQ-0005iZ-QI for caml-list@inria.fr; Fri, 25 Apr 2008 18:38:26 +0100 Date: Fri, 25 Apr 2008 18:38:26 +0100 To: caml-list@inria.fr Subject: Re: [Caml-list] [OSR] Standard syntax extensions ? Message-ID: <20080425173826.GF20312@annexia.org> References: <1209052182.6180.35.camel@Blefuscu> <200804241802.19074.jon@ffconsultancy.com> <20080425082447.GB30805@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Miltered: at concorde with ID 48121719.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; syntax:01 0200,:01 berke:01 durak:01 cmi:01 ocaml:01 ocaml:01 compiler:01 model:01 wrote:01 caml-list:01 grep:01 grep:01 binary:02 hack:04 On Fri, Apr 25, 2008 at 06:59:50PM +0200, Berke Durak wrote: > That would allow people to easily write tools that examine object > files without relying on the unnecessarily britlle binary format. > At the very least you could open it in a text editor and see if > everything's OK inside, or simply grep it. Yes, there is CMI grep, > but that one would be even better. Do this, and you will instantly > see 10 to 20 new metatools for Ocaml. But you'll also kill OCaml compiler development. The *.cm* files contain representations of the type system, and research on the type system is the main point of OCaml which is why it changes so much. Anyway we already have (safe) meta-tools. We don't need ones which hack away at internal representations, even if that is a common development model for Java class files. Rich. -- Richard Jones Red Hat