caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Matthieu Dubuget <matthieu.dubuget@gmail.com>
To: caml-list@inria.fr
Subject: Re: [Caml-list] camomile question
Date: Mon, 18 Nov 2013 17:31:39 +0100	[thread overview]
Message-ID: <528A40EB.3050907@gmail.com> (raw)
In-Reply-To: <528A3E7F.7020608@gmail.com>

Jacques-Pascal Deplaix (jp.deplaix@gmail.com) — 2013-11-18 17:21:19
> Note that Batteries >= 2.0 doesn't depend anymore on Camomile.

If you still need some more advanced unicode related functions, you'll
have to stay with camomile, and solve the problem of the needed
ressource files at run time.

You can also have a look at the string related module of ocamlnet:
according to the documentation
(http://projects.camlcity.org/projects/dl/ocamlnet-3.7.3/doc/html-main/Netconversion.html#linking)

`The lookup tables for the other encodings are usually loaded at
runtime, but it is also possible to embed them in the generated binary
executable. See the file |INSTALL| for details.`

Alas, I did not find anything in the |INSTALL| file.

Hoping this can help

Salutations

-- 
Matthieu Dubuget

  reply	other threads:[~2013-11-18 16:31 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-11-18 15:51 Matej Kosik
2013-11-18 16:21 ` Jacques-Pascal Deplaix
2013-11-18 16:31   ` Matthieu Dubuget [this message]
2013-11-18 16:44     ` 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=528A40EB.3050907@gmail.com \
    --to=matthieu.dubuget@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).