caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Richard Jones <rich@annexia.org>
To: caml-list@inria.fr
Subject: Re: [Caml-list] [OSR] Standard syntax extensions ?
Date: Fri, 25 Apr 2008 18:38:26 +0100	[thread overview]
Message-ID: <20080425173826.GF20312@annexia.org> (raw)
In-Reply-To: <b903a8570804250959s443d542ew3ba1fc002272cb25@mail.gmail.com>

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


  parent reply	other threads:[~2008-04-25 17:38 UTC|newest]

Thread overview: 29+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-04-24 15:49 David Teller
2008-04-24 15:52 ` [Caml-list] " John Whitington
2008-04-25  8:22   ` Richard Jones
2008-05-01  7:45     ` Richard Jones
2008-04-24 16:16 ` [Caml-list] [OSR] Standard syntax extensions ? - voting Stefano Zacchiroli
2008-04-25 15:15   ` David Teller
2008-04-26  0:16     ` Stefano Zacchiroli
2008-04-24 16:41 ` [Caml-list] [OSR] Standard syntax extensions ? Martin Jambon
2008-04-24 17:02   ` Jon Harrop
2008-04-24 20:53     ` Berke Durak
2008-04-25  8:24       ` Richard Jones
2008-04-25 16:59         ` Berke Durak
2008-04-25 17:31           ` Gerd Stolpmann
2008-04-25 17:38           ` Richard Jones [this message]
2008-04-25 10:33       ` Andrej Bauer
2008-04-25 15:32     ` David Teller
2008-04-24 17:05 ` Dario Teixeira
2008-04-25 13:57   ` Peng Zang
2008-04-25 15:04     ` David Teller
2008-04-25 16:11       ` Peng Zang
2008-04-25 20:37 ` Arthur Chan
2008-04-26  7:41   ` Richard Jones
2008-04-26  7:53     ` Till Crueger
2008-04-26 21:32       ` Arthur Chan
2008-04-27  6:58         ` Andrej Bauer
2008-04-27 14:14           ` Christopher L Conway
2008-04-27 17:41         ` [Caml-list] " David Teller
2008-04-27 17:44       ` David Teller
2008-04-25 22:25 ` Mike Lin

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20080425173826.GF20312@annexia.org \
    --to=rich@annexia.org \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).