Toplevel unable #use'ing more than once with camlp4 #4495
Comments
|
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. |
|
Comment author: ertai Thanks for the report, this is now fixed in the CVS HEAD and release311 branch. |
This was referenced Mar 14, 2019
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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 https://github.com/ocaml/camlp4/issues
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.
Example:
-- test.ml --
print_endline "something";;
-- end test.ml --
-- run the toplevel --
$ ocaml
Objective Caml version 3.10.0
#use "test.ml";;
something
#use "test.ml";;
I/O error: Bad file descriptor
-- end toplevel --
The text was updated successfully, but these errors were encountered: