From: Peng Zang <peng.zang@gmail.com>
To: caml-list@yquem.inria.fr
Cc: "Hezekiah M. Carty" <hcarty@atmos.umd.edu>
Subject: Re: [Caml-list] strange behavior with camlp4 and #use
Date: Tue, 16 Sep 2008 19:58:21 -0400 [thread overview]
Message-ID: <200809161958.23838.peng.zang@gmail.com> (raw)
In-Reply-To: <3a360f590809161458i5d5e6494l9ce37dec9c212311@mail.gmail.com>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On Tuesday 16 September 2008 05:58:17 pm Hezekiah M. Carty wrote:
> > "I/O error: Bad file descriptor"
> >
> > when I try to '#use somefile' several times (when camlp4 is turned on).
>
> Yes, this is an unfortunate error which came along with the new camlp4
> in OCaml 3.10.x. The error is reported in the OCaml bug tracker here
> (please pardon the strange grammar in the bug title - I don't know
> what I was thinking when I wrote it):
>
> http://caml.inria.fr/mantis/view.php?id=4495
>
> This bug may be related as well:
>
> http://caml.inria.fr/mantis/view.php?id=4593
>
> It is marked as "assigned", so hopefully it will be fixed by the time
> OCaml 3.11 is released. As it is, the bug makes using both camlp4 and
> #use in the REPL prohibitive.
>
> Hez
Ahhh! Thank you much. I hope it gets fixed in 3.11 too.
Peng
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.7 (GNU/Linux)
iD8DBQFI0EgffIRcEFL/JewRAqLvAJ4vhhhDteX2VnqtZclc2QWIUTQ5fwCggoZ+
xnckfNJTsRtFoq0H2HbO9Yw=
=8qPT
-----END PGP SIGNATURE-----
prev parent reply other threads:[~2008-09-16 23:58 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-09-16 21:31 Peng Zang
2008-09-16 21:58 ` [Caml-list] " Hezekiah M. Carty
2008-09-16 23:58 ` Peng Zang [this message]
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=200809161958.23838.peng.zang@gmail.com \
--to=peng.zang@gmail.com \
--cc=caml-list@yquem.inria.fr \
--cc=hcarty@atmos.umd.edu \
/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