0004495: Toplevel unable #use'ing more than once with camlp4

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004495

OCaml

Camlp4

public

2008-01-31 19:48

2010-04-29 14:31

Reporter

hcarty

Assigned To

ertai

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

3.10.0

Target Version

Fixed in Version

3.11+dev

Summary

0004495: Toplevel unable #use'ing more than once with camlp4

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

        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 --

Tags

No 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