if global_computeinnertypes then
D.double_type_of metasenv context t expectedty
else
- D.CicHash.empty ()
+ Cic.CicHash.create 1 (* empty table *)
in
(*
let time2 = Sys.time () in
(* *)
let {D.synthesized = synthesized; D.expected = expected} =
if computeinnertypes then
- D.CicHash.find terms_to_types tt
+ Cic.CicHash.find terms_to_types tt
else
(* We are already in an inner-type and Coscoy's double *)
(* type inference algorithm has not been applied. *)