From: Edgar Friendly <thelema314@gmail.com>
To: caml-list@inria.fr
Subject: Re: [Caml-list] About ocamlbuild
Date: Thu, 15 Nov 2012 17:04:57 -0500 [thread overview]
Message-ID: <50A56709.7080105@gmail.com> (raw)
In-Reply-To: <1201410520.4155202.1353016124507.JavaMail.root@inria.fr>
On 11/15/2012 4:48 PM, Xavier Clerc wrote:
>> 3 - Finally, I find the idea of tags good, for backward compatibility
>> reasons (you do not have to change your code), but not enough. For
>> instance, in haskell (and some compilers written in ocaml), you can
>> add "tags" at the beginning of your files. You would start your
>> ocaml files with comments such as:
>>
>> (* #OPTIONS -rectypes *)
> Well, I find tags pretty convenient, and do not dislike the comment
> approach. However, I am pretty sure I do not want the related information
> to be scattered over multiple locations.
It's exactly this reason that I'm strongly in favor of magic comments or
pragmas or something in .ml files to do do this kind of thing.
Splitting the data needed to compile a module into two parts: the module
and a makefile (or _tags or OMakefile or whatever) seems a violation of
your "multiple locations" policy. While I grant that some compilation
options (whether to compile in debug/profiling/native mode, location of
external libraries) should not be included in a source file, I'm
strongly in favor of having the build system work out the details of
dependencies (internal to project and external, installed in global
location) and even what camlp4 to run based on the contents of the file
itself and not elsewhere.
E.
next prev parent reply other threads:[~2012-11-15 22:04 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-11-15 12:05 Pierre-Etienne Meunier
2012-11-15 21:48 ` Xavier Clerc
2012-11-15 22:04 ` Edgar Friendly [this message]
2012-11-15 22:36 ` Xavier Clerc
2012-11-16 10:33 ` Arnaud Spiwack
2012-11-16 10:53 ` Gabriel Scherer
2012-11-16 11:43 ` Pierre-Etienne Meunier
2012-11-16 19:05 ` [Caml-list] " Hongbo Zhang
2012-11-16 19:33 ` [Caml-list] " Wojciech Meyer
2012-11-17 17:21 ` Fabrice Le Fessant
2012-11-16 11:01 ` Daniel Bünzli
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=50A56709.7080105@gmail.com \
--to=thelema314@gmail.com \
--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).