diff options
Diffstat (limited to 'otherlibs/labltk/support')
| -rw-r--r-- | otherlibs/labltk/support/fileevent.ml | 2 | ||||
| -rw-r--r-- | otherlibs/labltk/support/protocol.ml | 4 | ||||
| -rw-r--r-- | otherlibs/labltk/support/textvariable.ml | 4 | ||||
| -rw-r--r-- | otherlibs/labltk/support/widget.ml | 2 |
4 files changed, 6 insertions, 6 deletions
diff --git a/otherlibs/labltk/support/fileevent.ml b/otherlibs/labltk/support/fileevent.ml index 4dac902bf..3fd4243dd 100644 --- a/otherlibs/labltk/support/fileevent.ml +++ b/otherlibs/labltk/support/fileevent.ml @@ -29,7 +29,7 @@ external rem_file_output : file_descr -> unit (* File input handlers *) -let fd_table = Hashtbl.create 37 (* Avoid space leak in callback table *) +let fd_table = Hashtbl.create size:37 (* Avoid space leak in callback table *) let add_fileinput :fd callback:f = let id = new_function_id () in diff --git a/otherlibs/labltk/support/protocol.ml b/otherlibs/labltk/support/protocol.ml index 522eab8c1..9d7cb2e1f 100644 --- a/otherlibs/labltk/support/protocol.ml +++ b/otherlibs/labltk/support/protocol.ml @@ -92,10 +92,10 @@ let cTKtoCAMLwidget = function let callback_naming_table = - (Hashtbl.create 401 : (int, callback_buffer -> unit) Hashtbl.t) + (Hashtbl.create size:401 : (int, callback_buffer -> unit) Hashtbl.t) let callback_memo_table = - (Hashtbl.create 401 : (any widget, int) Hashtbl.t) + (Hashtbl.create size:401 : (any widget, int) Hashtbl.t) let new_function_id = let counter = ref 0 in diff --git a/otherlibs/labltk/support/textvariable.ml b/otherlibs/labltk/support/textvariable.ml index f467a7150..adeb85032 100644 --- a/otherlibs/labltk/support/textvariable.ml +++ b/otherlibs/labltk/support/textvariable.ml @@ -28,7 +28,7 @@ external get : string -> string = "camltk_getvar" type textVariable = string (* List of handles *) -let handles = Hashtbl.create 401 +let handles = Hashtbl.create size:401 let add_handle var cbid = try @@ -85,7 +85,7 @@ let handle vname f = module StringSet = Set.Make(struct type t = string let compare = compare end) let freelist = ref (StringSet.empty) -let memo = Hashtbl.create 101 +let memo = Hashtbl.create size:101 (* Added a variable v referenced by widget w *) let add w v = diff --git a/otherlibs/labltk/support/widget.ml b/otherlibs/labltk/support/widget.ml index 2174fc3cb..883d8624f 100644 --- a/otherlibs/labltk/support/widget.ml +++ b/otherlibs/labltk/support/widget.ml @@ -50,7 +50,7 @@ let forget_type w = (Obj.magic (w : 'a widget) : any widget) let coe = forget_type (* table of widgets *) -let table = (Hashtbl.create 401 : (string, any widget) Hashtbl.t) +let table = (Hashtbl.create size:401 : (string, any widget) Hashtbl.t) let name = function Untyped s -> s |