-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

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

I can reproduce this weird behavior as follows:

          Objective Caml version 3.10.2
  
  # #use "topfind";;
  # #camlp4o;;
  # #use "foo.ml";;
  - : int = 1
  # #use "foo.ml";;
  - : int = 1
  # #use "foo.ml";;
  I/O error: Bad file descriptor


Does anyone else get this weird behavior?  Why would it fail on the later 
times?  Was a file descriptor left unclosed?  Is this a bug?

Peng
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.7 (GNU/Linux)

iD8DBQFI0CW8fIRcEFL/JewRAnD+AKDJo65H/y8oeT+ByCrQg8S2ZBHrhQCff+DD
wF9xbAA90UTcMjW/vJvAy/U=
=+e8p
-----END PGP SIGNATURE-----