caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
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.

  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).