Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-09-07 11:15:20 -0700 (Fri, 07 Sep 2007)
Revision: 12124
Log message:
Make reintern on channels more robust, in case there are
multiple entries with the same index.
| Changes | Path(relative to omake-branches/0.9.8.x/src) |
| +1 -2 | builtin/omake_builtin_io.ml |
| +9 -2 | env/omake_env.ml |
| +3 -2 | env/omake_env.mli |
| +1 -1 | eval/omake_value.ml |
| +14 -1 | util/omake_handle_table.ml |