diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-02 13:42:19 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-02 13:42:19 +0000 |
commit | fe2e11a8fb4dcf166ffb7f91e6eb8dd0f4402f25 (patch) | |
tree | 8dff8da7bfc88f25c78afe5340d78daa8c89587c /otherlibs/labltk/support/fileevent.ml | |
parent | 7e053c39de8693928b83038c1727f5d90228c39d (diff) | |
download | ocaml-strict_labels.tar.gz |
remove doublonsstrict_labels
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/support/fileevent.ml')
-rw-r--r-- | otherlibs/labltk/support/fileevent.ml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/otherlibs/labltk/support/fileevent.ml b/otherlibs/labltk/support/fileevent.ml index f6d6e76aad..1e907c7684 100644 --- a/otherlibs/labltk/support/fileevent.ml +++ b/otherlibs/labltk/support/fileevent.ml @@ -16,6 +16,7 @@ (* $Id$ *) open Unix +open Support open Protocol external add_file_input : file_descr -> cbid -> unit @@ -33,8 +34,8 @@ let fd_table = Hashtbl.create 37 (* Avoid space leak in callback table *) let add_fileinput ~fd ~callback:f = let id = new_function_id () in - Hashtbl.add' callback_naming_table ~key:id ~data:(fun _ -> f()); - Hashtbl.add' fd_table ~key:(fd, 'r') ~data:id; + Hashtbl'.add callback_naming_table ~key:id ~data:(fun _ -> f()); + Hashtbl'.add fd_table ~key:(fd, 'r') ~data:id; if !Protocol.debug then begin Protocol.prerr_cbid id; prerr_endline " for fileinput" end; @@ -56,8 +57,8 @@ let remove_fileinput ~fd = let add_fileoutput ~fd ~callback:f = let id = new_function_id () in - Hashtbl.add' callback_naming_table ~key:id ~data:(fun _ -> f()); - Hashtbl.add' fd_table ~key:(fd, 'w') ~data:id; + Hashtbl'.add callback_naming_table ~key:id ~data:(fun _ -> f()); + Hashtbl'.add fd_table ~key:(fd, 'w') ~data:id; if !Protocol.debug then begin Protocol.prerr_cbid id; prerr_endline " for fileoutput" end; |