Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004495OCamlCamlp4public2008-01-31 19:482010-04-29 14:31
Reporterhcarty 
Assigned Toertai 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.10.0 
Target VersionFixed in Version3.11+dev 
Summary0004495: Toplevel unable #use'ing more than once with camlp4
DescriptionWhen 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

        Camlp4 Parsing version 3.10.0

# #use "test.ml";;
        Camlp4 Parsing version 3.10.0

something
- : unit = ()
# #use "test.ml";;
I/O error: Bad file descriptor
#
-- end toplevel --
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0004502)
hcarty (reporter)
2008-04-29 21:31

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.
(0004674)
ertai (developer)
2008-10-13 15:43

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

- Issue History
Date Modified Username Field Change
2008-01-31 19:48 hcarty New Issue
2008-02-19 14:53 doligez Status new => acknowledged
2008-04-29 21:31 hcarty Note Added: 0004502
2008-08-05 18:29 xleroy Status acknowledged => assigned
2008-08-05 18:29 xleroy Assigned To => ertai
2008-10-13 15:43 ertai Note Added: 0004674
2008-10-13 15:43 ertai Status assigned => resolved
2008-10-13 15:43 ertai Resolution open => fixed
2008-10-13 15:43 ertai Fixed in Version => 3.11+dev
2010-04-29 14:31 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker