Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Toplevel unable #use'ing more than once with camlp4 #4495

vicuna opened this issue Jan 31, 2008 · 2 comments


None yet
1 participant
Copy link

commented Jan 31, 2008

Original bug ID: 4495
Reporter: @hcarty
Assigned to: ertai
Status: closed (set by @xavierleroy on 2010-04-29T12:31:19Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.10.0
Fixed in version: 3.11+dev
Category: -for Camlp4 use
Monitored by: @hcarty @Chris00

Bug description

When using camlp4 in the OCaml toplevel (3.09.x and 3.10.0, I have not tested other versions), multiple uses of the #use toplevel command give the following error:

"I/O error: Bad file descriptor"

This make testing camlp4 extensions more difficult as the toplevel must be restarted in order to #use anything again. An example is pasted below. The contents of the .ml being "#use"ed does not seem to matter.

-- --
print_endline "something";;
-- end --

-- run the toplevel --
$ ocaml
Objective Caml version 3.10.0

    Camlp4 Parsing version 3.10.0

#use "";;

    Camlp4 Parsing version 3.10.0


  • : unit = ()

#use "";;

I/O error: Bad file descriptor

-- end toplevel --


This comment has been minimized.

Copy link

commented Apr 29, 2008

Comment author: @hcarty

This is just a note to indicate that I have checked for this bug in the latest Debian Sid packages (3.10.1) as well as CVS HEAD (3.11+dev12 Private_abbrevs+natdynlink) and the problem still exists in both.

Is it not present when using either Camlp4 with 3.09.2 (Debian Etch) or Camlp5 with 3.10.x or 3.11.x.


This comment has been minimized.

Copy link

commented Oct 13, 2008

Comment author: ertai

Thanks for the report, this is now fixed in the CVS HEAD and release311 branch.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.