Original bug ID: 257
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Damir Jamsek
Version: Ocaml 3.00
OS: Linux
Submission from: ss08.nc.us.ibm.com (32.97.136.238)

If you compile the following lines, the warning message only occurs for
the sequential composition in function foo, but not in function bar

comments?
thank you,
--damir

(* file: foobar.ml; Compile: ocamlc -c foobar.ml *)

let foo_tbl = ((Hashtbl.create 1013) : (int,int) Hashtbl.t)
let bar_tbl = Hashtbl.create 1013

let foo f = Hashtbl.find foo_tbl f; failwith "foo"
let bar b = Hashtbl.find bar_tbl b; failwith "bar"

(* function doo helps typing bar_tbl *)
let doo d = d + Hashtbl.find bar_tbl d