From: "Hezekiah M. Carty" <hcarty@atmos.umd.edu>
To: peng.zang@gmail.com
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] strange behavior with camlp4 and #use
Date: Tue, 16 Sep 2008 17:58:17 -0400 [thread overview]
Message-ID: <3a360f590809161458i5d5e6494l9ce37dec9c212311@mail.gmail.com> (raw)
In-Reply-To: <200809161731.40062.peng.zang@gmail.com>
On Tue, Sep 16, 2008 at 5:31 PM, Peng Zang <peng.zang@gmail.com> wrote:
> Hi,
>
> I am running 3.10.2 installed from GODI. Findlib is similarly installed. I
> run into the following error
>
> "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
--
Hezekiah M. Carty
Graduate Research Assistant
University of Maryland
Department of Atmospheric and Oceanic Science
next prev parent reply other threads:[~2008-09-16 21: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 ` Hezekiah M. Carty [this message]
2008-09-16 23:58 ` [Caml-list] " Peng Zang
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=3a360f590809161458i5d5e6494l9ce37dec9c212311@mail.gmail.com \
--to=hcarty@atmos.umd.edu \
--cc=caml-list@yquem.inria.fr \
--cc=peng.zang@gmail.com \
/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).